| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.TypeGraph.Shape
Description
A fold on the shape of the constructors of a DataD or NewtypeD record.
- type Field = (Name, Name, Either Int Name)
- constructorFields :: Name -> Con -> [Field]
- data FieldType
- fieldType :: FieldType -> Type
- constructorFieldTypes :: Con -> [FieldType]
- fPos :: FieldType -> Either Int Name
- fName :: FieldType -> Either Int Name
- fType :: FieldType -> Type
- foldShape :: Monad m => ([(Con, [FieldType])] -> m r) -> (Con -> [FieldType] -> m r) -> ([Con] -> m r) -> (Con -> FieldType -> m r) -> [Con] -> m r
Field name and position
constructorFields :: Name -> Con -> [Field] Source
Constructors
| Positional Int StrictType | |
| Named VarStrictType |
constructorFieldTypes :: Con -> [FieldType] Source
Decl shape
foldShape :: Monad m => ([(Con, [FieldType])] -> m r) -> (Con -> [FieldType] -> m r) -> ([Con] -> m r) -> (Con -> FieldType -> m r) -> [Con] -> m r Source
Given the list of constructors from a Dec, dispatch on the different levels of complexity of the type they represent - a wrapper is a single arity one constructor, an enum is several arity zero constructors, and so on.