Moduleth-abstraction-0.7.2.0
Language.Haskell.TH.Datatype
Synopsis
- value arrowKCompat
- value asClassPred
- value asEqualPred
- value classPred
- value dataDCompat
- value datatypeType
- value equalPred
- value freeVariablesWellScoped
- value freshenFreeVariables
- value isStrictAnnot
- value lookupByConstructorName
- value lookupByRecordName
- value newtypeDCompat
- value normalizeCon
- value normalizeDec
- value normalizeInfo
- value notStrictAnnot
- value pragLineDCompat
- value quantifyType
- value reifyConstructor
- value reifyDatatype
- value reifyFixityCompat
- value reifyRecord
- value resolveInfixT
- value resolveKindSynonyms
- value resolvePredSynonyms
- value resolveTypeSynonyms
- value showFixity
- value showFixityDirection
- value tySynInstDCompat
- value unifyTypes
- value unpackedAnnot
- value tvKind
- value tvName
- data ConstructorInfo
- data ConstructorVariant
- data DatatypeInfo
- data DatatypeVariant
- data FieldStrictness
- data Strictness
- class TypeSubstitution
- data Unpackedness
- Packageth-abstraction-0.7.2.0
- Exports42
- LicenceISC
Instances6Eq, Data, Show, Generic, TypeSubstitution, Rep
Eq ConstructorInfoDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeData ConstructorInfoDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeShow ConstructorInfoDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeGeneric ConstructorInfoDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeTypeSubstitution ConstructorInfoDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatypetype Rep ConstructorInfo = D1 ('MetaDataDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatype"ConstructorInfo"
"Language.Haskell.TH.Datatype"
"th-abstraction-0.7.2.0-13mGldGUomVCZjbvdCIwwk"
'False) (C1 ('MetaCons"ConstructorInfo"
'PrefixI 'True) ((S1 ('MetaSel ('Just"constructorName"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Just"constructorVars"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndrUnit]) :*: S1 ('MetaSel ('Just"constructorContext"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt))) :*: (S1 ('MetaSel ('Just"constructorFields"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type]) :*: (S1 ('MetaSel ('Just"constructorStrictness"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldStrictness]) :*: S1 ('MetaSel ('Just"constructorVariant"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstructorVariant)))))
Constructors
Instances6Eq, Data, Ord, Show, Generic, Rep
Eq ConstructorVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeData ConstructorVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeOrd ConstructorVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeShow ConstructorVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeGeneric ConstructorVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatypetype Rep ConstructorVariant = D1 ('MetaDataDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatype"ConstructorVariant"
"Language.Haskell.TH.Datatype"
"th-abstraction-0.7.2.0-13mGldGUomVCZjbvdCIwwk"
'False) (C1 ('MetaCons"NormalConstructor"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"InfixConstructor"
'PrefixI 'False) U1 :+: C1 ('MetaCons"RecordConstructor"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]))))
Constructors
Instances5Eq, Data, Show, Generic, Rep
Eq DatatypeInfoDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeData DatatypeInfoDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeShow DatatypeInfoDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeGeneric DatatypeInfoDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatypetype Rep DatatypeInfo = D1 ('MetaDataDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatype"DatatypeInfo"
"Language.Haskell.TH.Datatype"
"th-abstraction-0.7.2.0-13mGldGUomVCZjbvdCIwwk"
'False) (C1 ('MetaCons"DatatypeInfo"
'PrefixI 'True) ((S1 ('MetaSel ('Just"datatypeContext"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: (S1 ('MetaSel ('Just"datatypeName"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just"datatypeVars"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndrUnit]))) :*: ((S1 ('MetaSel ('Just"datatypeInstTypes"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type]) :*: S1 ('MetaSel ('Just"datatypeVariant"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatatypeVariant)) :*: (S1 ('MetaSel ('Just"datatypeReturnKind"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind) :*: S1 ('MetaSel ('Just"datatypeCons"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ConstructorInfo])))))
Instances7Eq, Data, Ord, Read, Show, Generic, …
Eq DatatypeVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeData DatatypeVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeOrd DatatypeVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeRead DatatypeVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeShow DatatypeVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeGeneric DatatypeVariantDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatypetype Rep DatatypeVariant = D1 ('MetaDataDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatype"DatatypeVariant"
"Language.Haskell.TH.Datatype"
"th-abstraction-0.7.2.0-13mGldGUomVCZjbvdCIwwk"
'False) ((C1 ('MetaCons"Datatype"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Newtype"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"DataInstance"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"NewtypeInstance"
'PrefixI 'False) U1 :+: C1 ('MetaCons"TypeData"
'PrefixI 'False) U1)))
Constructors
Instances6Eq, Data, Ord, Show, Generic, Rep
Eq FieldStrictnessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeData FieldStrictnessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeOrd FieldStrictnessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeShow FieldStrictnessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeGeneric FieldStrictnessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatypetype Rep FieldStrictness = D1 ('MetaDataDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatype"FieldStrictness"
"Language.Haskell.TH.Datatype"
"th-abstraction-0.7.2.0-13mGldGUomVCZjbvdCIwwk"
'False) (C1 ('MetaCons"FieldStrictness"
'PrefixI 'True) (S1 ('MetaSel ('Just"fieldUnpackedness"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unpackedness) :*: S1 ('MetaSel ('Just"fieldStrictness"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Strictness)))
Instances6Eq, Data, Ord, Show, Generic, Rep
Eq StrictnessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeData StrictnessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeOrd StrictnessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeShow StrictnessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeGeneric StrictnessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatypetype Rep Strictness = D1 ('MetaDataDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatype"Strictness"
"Language.Haskell.TH.Datatype"
"th-abstraction-0.7.2.0-13mGldGUomVCZjbvdCIwwk"
'False) (C1 ('MetaCons"UnspecifiedStrictness"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"Lazy"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Strict"
'PrefixI 'False) U1))
Methods
applySubstitution :: Map Name Type -> a -> afreeVariables :: a -> [Name]
Instances3TypeSubstitution
TypeSubstitution TypeDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeTypeSubstitution ConstructorInfoDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeTypeSubstitution a => TypeSubstitution [a]Defined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatype
Instances6Eq, Data, Ord, Show, Generic, Rep
Eq UnpackednessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeData UnpackednessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeOrd UnpackednessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeShow UnpackednessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.DatatypeGeneric UnpackednessDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatypetype Rep Unpackedness = D1 ('MetaDataDefined in th-abstraction-0.7.2.0 · Language.Haskell.TH.Datatype"Unpackedness"
"Language.Haskell.TH.Datatype"
"th-abstraction-0.7.2.0-13mGldGUomVCZjbvdCIwwk"
'False) (C1 ('MetaCons"UnspecifiedUnpackedness"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"NoUnpack"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Unpack"
'PrefixI 'False) U1))