| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Natural.Syntax.Datatype.Con.GADT
Description
Builder for GADT constructor
Synopsis
- type GADTConBuilder = ConstBuilder GadtC
- newGADTCon :: String -> Type -> GADTConBuilder () -> Q GadtC
- addField :: Type -> GADTConBuilder ()
- addField' :: (Bang, Type) -> GADTConBuilder ()
Type
type GADTConBuilder = ConstBuilder GadtC Source #
Arguments
| :: String | The name of the constructor |
| -> Type | The return type of the constructor |
| -> GADTConBuilder () | |
| -> Q GadtC |
Builds a GADT constructor
Functions
addField :: Type -> GADTConBuilder () Source #
Add a field to the constructor