DDC.Core.Check

Configuration

data Config n

configOfProfile

Type checker trace

data CheckTrace

Checking Modules

checkModule

Checking Types

checkType

checkTypeM

checkSpec

kindOfSpec

sortOfKind

Checking Expressions

data Mode n

data Demand

checkExp

typeOfExp

Checking Witnesses

checkWitness

typeOfWitness

typeOfWiCon

Kinds of Constructors

takeSortOfKiCon

kindOfTwCon

kindOfTcCon

Annotations

data AnTEC a n

Error messages

data Error a n

data ErrorType n

data ErrorData n