Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type Kind = Int
- data TypeError
- = TypeError FilePath SrcSpan String
- | UnknownType SrcSpan
- | UnboundVariable Name
- | UnknownField String
- type TypeOf a = Expression a -> Either TypeError Type
- typeOf :: StructureTable -> SymbolTable -> Expression a -> Either TypeError Type
Documentation
TypeError FilePath SrcSpan String | |
UnknownType SrcSpan | |
UnboundVariable Name | |
UnknownField String |
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