Control.Typecheckable

Typeclasses for Typechecking and Inference

class Typecheckable term t

class Inferable term t

Typing context and Type error structures

General use

type Typecheck term t

runTypecheck

expression

environment

(<><>)

ErrorContext

data ErrorContext env expr err

type ErrorContext' term t err

throwErrorContext

throwErrorContexts

errorOfContext

appendExprToEContexts