Language.Haskell.TH.Datatype

Types

data DatatypeInfo

data ConstructorInfo

data DatatypeVariant

data ConstructorVariant

data FieldStrictness

data Unpackedness

data Strictness

Normalization functions

reifyDatatype

reifyConstructor

reifyRecord

normalizeInfo

normalizeDec

normalizeCon

DatatypeInfo lookup functions

lookupByConstructorName

lookupByRecordName

Type variable manipulation

class TypeSubstitution a

quantifyType

freshenFreeVariables

Pred functions

equalPred

classPred

asEqualPred

asClassPred

Backward compatible data definitions

dataDCompat

newtypeDCompat

tySynInstDCompat

pragLineDCompat

arrowKCompat

Strictness annotations

isStrictAnnot

notStrictAnnot

unpackedAnnot

Type simplification

resolveTypeSynonyms

resolvePredSynonyms

resolveInfixT

Fixities

reifyFixityCompat

showFixity

showFixityDirection

Convenience functions

unifyTypes

tvName

tvKind

datatypeType