LText.Type

Type Grammar

data Type

ppType

Kit Effects

data TypeError

handleTypeError

data TypeEnv

toTypeEnv

emptyTypeEnv

type MonadTypecheck m

type TypeCheckM

runTypeCheckM

TypeChecking

data Subst

class IsType t

data Scheme

freshTVar

somewhatFreshTVar

mostGeneralUnifier

varBind

data Context

initContext

removeTVar

quantify

unQuantify

Actual Typechecking

typeOfTopLevel

data ExprType

typeInfer