DomainCore.Deriver

Toolkit for definition of instance derivers for Domain specs.

Deriver definitions

newtype Deriver

Specification of which instances to automatically derive for all the supported types in the model and how.

You can combine derivers using Monoid and Semigroup.

Constructors

Deriver (TypeDec -> Q [Dec])

Function from the type declaration in this package's own AST to a list of Template Haskell declarations in its quotation monad.

Instances

Monoid Deriver

Defined in DomainCore.Deriver

Methods

mempty :: Deriver

mappend :: Deriver -> Deriver -> Deriver

mconcat :: [Deriver] -> Deriver

Semigroup Deriver

Defined in DomainCore.Deriver

Methods

(<>) :: Deriver -> Deriver -> Deriver

sconcat :: NonEmpty Deriver -> Deriver

stimes :: Integral b => b -> Deriver -> Deriver

effectless :: (TypeDec -> [Dec]) -> Deriver

Lift a pure function, which doesn't require the context of Q.