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

asEqualPred

asClassPred

Backward compatible data definitions

dataDCompat

arrowKCompat

Type simplification

resolveTypeSynonyms

resolveInfixT

Convenience functions

unifyTypes

tvName

datatypeType

showFixity

showFixityDirection