Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type Kind = Int
- data TypeError
- type TypeOf a = Expression a -> Either TypeError Type
- typeOf :: StructureTable -> SymbolTable -> Expression a -> Either TypeError Type
Documentation
Instances
typeOf :: StructureTable -> SymbolTable -> Expression a -> Either TypeError Type Source #
Given SymbolTable
of a ProgramUnit
, and an Expression
within
the ProgramUnit
, determines the Type
of the Exression