Language.Hakaru.Syntax.TypeCheck

The type checking monad

type TypeCheckError

data TypeCheckMonad a

runTCM

unTCM

data TypeCheckMode

Type checking itself

inferable

mustCheck

data TypedAST abt

inferType

checkType