| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
ABS.Compiler.Codegen.Typ
- tTypeOrTyVar :: [U] -> T -> Type
- tType :: T -> Type
- unifyMany :: (?st :: SymbolTable) => [U] -> [T] -> [T] -> Map String T
- instantiateMany :: Map String T -> [T] -> [T]
- instantiateOne :: Map String T -> T -> T
- buildInfo :: (?st :: SymbolTable) => T -> T -> Maybe Info
- buildUp :: Info -> Exp
Documentation
Arguments
| :: [U] | tyvars in scope |
| -> T | abs type |
| -> Type |
Translating an ABS type or an ABS type-variable to a Haskell type
instantiateMany :: Map String T -> [T] -> [T] Source #
instantiateOne :: Map String T -> T -> T Source #
buildInfo :: (?st :: SymbolTable) => T -> T -> Maybe Info Source #