| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Natural.Syntax.Common
Synopsis
- addContext :: forall {k} s a (step :: k). HasCxt s [a] => Q a -> Builder s step step ()
- addBody :: forall {k} s a (step :: k). (HasDecs s [Dec], GenDec a) => a -> Builder s step step ()
- addBody' :: forall {k} s a (step :: k). HasDecs s [a] => Q [a] -> Builder s step step ()
- addTypeVar :: forall {k} s (step :: k). HasTyVarBndr s [TyVarBndr BndrVis] => TypeVarName -> Builder s step step ()
- addTypeVar' :: forall {k} s vis (step :: k). HasTyVarBndr s [TyVarBndr vis] => TypeVarName -> vis -> Maybe Kind -> Builder s step step ()
Documentation
addContext :: forall {k} s a (step :: k). HasCxt s [a] => Q a -> Builder s step step () Source #
Add a constraint to a context
addBody :: forall {k} s a (step :: k). (HasDecs s [Dec], GenDec a) => a -> Builder s step step () Source #
Add a Dec
addBody' :: forall {k} s a (step :: k). HasDecs s [a] => Q [a] -> Builder s step step () Source #
Add many Decs. Usually used with newFunc
addTypeVar :: forall {k} s (step :: k). HasTyVarBndr s [TyVarBndr BndrVis] => TypeVarName -> Builder s step step () Source #
Add the type variable to the tyVarBndr list
addTypeVar' :: forall {k} s vis (step :: k). HasTyVarBndr s [TyVarBndr vis] => TypeVarName -> vis -> Maybe Kind -> Builder s step step () Source #
Same as addTypeVar, but allows setting the kind and vis of the type variable