| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Natural.Syntax.Instance
Description
Builder for instance declaration
Synopsis
- newInstance :: Name -> InstanceBuilder () -> Q InstanceD
- type InstanceBuilder a = ConstBuilder InstanceD a
- setOverlap :: Overlap -> InstanceBuilder ()
- addInstanceArg :: GenType t => t -> InstanceBuilder ()
- newTypeVar :: forall {k} st (step :: k). String -> Builder st step step TypeVarName
- module Language.Haskell.TH.Natural.Syntax.Builder.Monad
- module Language.Haskell.TH.Natural.Syntax.Common
Builder
newInstance :: Name -> InstanceBuilder () -> Q InstanceD Source #
Builds a new instance for the typeclass. The argument is the Name of that typeclass
type InstanceBuilder a = ConstBuilder InstanceD a Source #
Functions
setOverlap :: Overlap -> InstanceBuilder () Source #
Set an Overlap pragma to the instance
addInstanceArg :: GenType t => t -> InstanceBuilder () Source #
Add an type argument to the instance
Re-export
newTypeVar :: forall {k} st (step :: k). String -> Builder st step step TypeVarName Source #
Builds a new type variable