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

Backward compatible data definitions

dataDCompat

arrowKCompat

Convenience functions

resolveTypeSynonyms

unifyTypes

tvName

datatypeType