Conjure.Conjurable.Derive

Allows automatic derivation of Conjurable typeclass instances.

Documentation

deriveConjurable :: Name -> DecsQ

Derives an Conjurable instance for the given type Name.

This function needs the TemplateHaskell extension.

If the Data.Express' type binding operators (-:, ->: or ->>:) are not in scope, this derives them as well.

deriveConjurableCascading :: Name -> DecsQ

Derives a Conjurable instance for a given type Name cascading derivation of type arguments as well.

deriveConjurableIfNeeded :: Name -> DecsQ

Same as deriveConjurable but does not warn when instance already exists (deriveConjurable is preferable).