Data.Registry.TH

Documentation

data TypeclassOptions

These generation options can be used to tweak the generated names

checkRegistry :: Name -> Q Exp

Check that all the input values of a registry can be built This will check that all the input values can be built out of the registry and also return a normalized registry where the types have been de-duplicated

Usage:

initialRegistry :: Registry _ _ initialRegistry = val x +: fun y +: ... +: end

• - Put the definition in another module! (see: https://gitlab.haskell.org/ghc/ghc/issues/9813)

checkedRegistry :: Registry _ _ checkedRegistry = $(checkRegistry initialRegistry)

makeTypeclass :: Name -> DecsQ

Create the haskell code presented in the module description

makeTypeclassWith :: TypeclassOptions -> Name -> DecsQ

Make a typeclass using some specific generation options

unsafeCoerceRegistry :: Registry ins out -> Registry ins1 out1

This is unsafe and is only used in the context of the checkRegistry function