Language.Haskell.TH.Datatype
data DatatypeInfo
data ConstructorInfo
data DatatypeVariant
data ConstructorVariant
data FieldStrictness
reifyDatatype
normalizeInfo
normalizeDec
normalizeCon
class TypeSubstitution a
quantifyType
freshenFreeVariables
Pred
equalPred
classPred
asEqualPred
asClassPred
dataDCompat
arrowKCompat
isStrictAnnot
notStrictAnnot
unpackedAnnot
resolveTypeSynonyms
resolveInfixT
reifyFixityCompat
showFixity
showFixityDirection
unifyTypes
tvName
datatypeType