Data.Registry.Internal.TH

Documentation

makeSelectGenerator :: Name -> [Con] -> ExpQ

Create a generator for selecting between constructors of an ADT One parameter is a GenIO Chooser in order to be able to later on switch the selection strategy

makeConstructorGenerator :: Con -> ExpQ

untagGenerator :: Con -> ExpQ

Remove the tag of a given constructor: fmap unTag g :: GenIO (Tag "t" SomeType) -> GenIO SomeType

tagName :: Con -> Q Name

Create a tag used to distinguish constructors in an ADT

constructorParameterName :: Con -> Q Name

Same as the tag name but lower cased

constructorName :: Con -> Q Text

Extract the last name of a constructor

nameOf :: Con -> Q Name

The name of a given constructor

typesOf :: Con -> Q [Type]

The list of types necessary to create a given constructor

assembleGeneratorsToRegistry :: Exp -> [Exp] -> ExpQ

runQ [| fun g <: genFun e <: genFun f|] InfixE (Just (AppE (VarE Data.Registry.Registry.fun) (UnboundVarE g))) (VarE <:) (Just (InfixE (Just (AppE (VarE Data.Registry.Hedgehog.genFun) (UnboundVarE e))) (VarE Data.Registry.Registry.<:) (Just (AppE (VarE Data.Registry.Hedgehog.genFun) (UnboundVarE f)))))

appendExpressions :: ExpQ -> ExpQ -> ExpQ

genFunOf :: ExpQ -> ExpQ

funOf :: ExpQ -> ExpQ