Moduleth-reify-many-0.1.10Haskell2010
Language.Haskell.TH.ReifyMany.Internal
Synopsis
- value isDataDec
- value isNormalTyCon
- value decToFieldTypes
- value conToFieldTypes
- value typeConcreteNames
- value decConcreteNames
- data TypeclassInstance
- value getInstances
- value lookupInstance
- value instanceMatches
- value unAppsT
- value unSigT
- Packageth-reify-many-0.1.10
- Exports12
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceInternal.hs
For data, newtype, and type declarations, yields a list of the types of the fields. In the case of a type synonyms, it just returns the body of the type synonym as a singleton list.
Returns the types of the fields of the constructor.
Returns the names of all type constructors which aren't involved in constraints.
Returns the names of all type constructors used when defining type constructors.
Datatype to capture the fields of InstanceD.
Constructors
Instances1Show
Show TypeclassInstanceDefined in th-reify-many-0.1.10 · Language.Haskell.TH.ReifyMany.Internal
Given the Name of a class, yield all of the TypeclassInstances, with synonyms expanded in the Type field.
Returns the first TypeclassInstance where instanceMatches returns true.
Checks if the given name is the head of one of the paramaters of the given TypeclassInstance.
Breaks a type application like A b c into [A, b, c].