Language.Haskell.TH.Datatype

Types

data DatatypeInfo

data ConstructorInfo

data DatatypeVariant

data ConstructorVariant

Normalization functions

reifyDatatype

normalizeInfo

normalizeDec

normalizeCon

Type variable manipulation

class TypeSubstitution a

quantifyType

freshenFreeVariables

Pred functions

equalPred

classPred

Convenience functions

resolveTypeSynonyms

unifyTypes

tvName

datatypeType