| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.ReifyMany.Internal
Synopsis
- isDataDec :: Dec -> Bool
- isNormalTyCon :: Dec -> Bool
- decToFieldTypes :: Dec -> [[Type]]
- conToFieldTypes :: Con -> [Type]
- typeConcreteNames :: Type -> [Name]
- decConcreteNames :: Dec -> [Name]
- data TypeclassInstance = TypeclassInstance Cxt Type [Dec]
- getInstances :: Name -> Q [TypeclassInstance]
- lookupInstance :: [TypeclassInstance] -> Name -> Maybe TypeclassInstance
- instanceMatches :: TypeclassInstance -> Name -> Bool
- unAppsT :: Type -> [Type]
- unSigT :: Type -> Type
Documentation
isNormalTyCon :: Dec -> Bool Source #
Returns True if the Dec is a DataD, NewtypeD, or
TySynD.
decToFieldTypes :: Dec -> [[Type]] Source #
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.
conToFieldTypes :: Con -> [Type] Source #
Returns the types of the fields of the constructor.
typeConcreteNames :: Type -> [Name] Source #
Returns the names of all type constructors which aren't involved in constraints.
decConcreteNames :: Dec -> [Name] Source #
Returns the names of all type constructors used when defining type constructors.
data TypeclassInstance Source #
Datatype to capture the fields of InstanceD.
Constructors
| TypeclassInstance Cxt Type [Dec] |
Instances
| Show TypeclassInstance Source # | |
Defined in Language.Haskell.TH.ReifyMany.Internal Methods showsPrec :: Int -> TypeclassInstance -> ShowS show :: TypeclassInstance -> String showList :: [TypeclassInstance] -> ShowS | |
getInstances :: Name -> Q [TypeclassInstance] Source #
Given the Name of a class, yield all of the
TypeclassInstances, with synonyms expanded in the Type field.
lookupInstance :: [TypeclassInstance] -> Name -> Maybe TypeclassInstance Source #
Returns the first TypeclassInstance where instanceMatches
returns true.
instanceMatches :: TypeclassInstance -> Name -> Bool Source #
Checks if the given name is the head of one of the paramaters of
the given TypeclassInstance.