Moduleth-reify-many-0.1.10Haskell2010

Language.Haskell.TH.ReifyMany.Internal

1 type
11 values

Packageth-reify-many-0.1.10
Exports12
LanguageHaskell2010
LicenceBSD-3-Clause
SourceInternal.hs

valueisDataDec :: Dec -> Bool

Returns True if the Dec is a DataD or NewtypeD

valueisNormalTyCon :: Dec -> Bool

Returns True if the Dec is a DataD, NewtypeD, or TySynD.

valuedecToFieldTypes :: Dec -> [[Type]]

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.

valueconToFieldTypes :: Con -> [Type]

Returns the types of the fields of the constructor.

valuetypeConcreteNames :: Type -> [Name]

Returns the names of all type constructors which aren't involved in constraints.

valuedecConcreteNames :: Dec -> [Name]

Returns the names of all type constructors used when defining type constructors.

datadata TypeclassInstance

Datatype to capture the fields of InstanceD.

Constructors

TypeclassInstance Cxt Type [Dec]

Instances1Show

Show TypeclassInstanceDefined in th-reify-many-0.1.10 · Language.Haskell.TH.ReifyMany.Internal

valuegetInstances :: Name -> Q [TypeclassInstance]

Given the Name of a class, yield all of the TypeclassInstances, with synonyms expanded in the Type field.

valuelookupInstance :: [TypeclassInstance] -> Name -> Maybe TypeclassInstance

Returns the first TypeclassInstance where instanceMatches returns true.

valueinstanceMatches :: TypeclassInstance -> Name -> Bool

Checks if the given name is the head of one of the paramaters of the given TypeclassInstance.

valueunAppsT :: Type -> [Type]

Breaks a type application like A b c into [A, b, c].

valueunSigT :: Type -> Type

Remove any explicit kind signatures (i.e., SigTs) from a Type.