Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- makeGenerators :: Name -> ExpQ
Documentation
makeGenerators :: Name -> ExpQ Source #
Make a registry containing generators for an ADT We want to generate the following
fun genEmployeeStatus
<: genFun (tag "permanent" Permanent)
<: genFun (tag
"temporary" Temporary)
genEmployeeStatus :: GenIO Chooser -> GenIO (Tag "permanent" EmployeeStatus) -> GenIO (Tag "temporary" EmployeeStatus) -> GenIO EmployeeStatus genEmployeeStatus chooser g1 g2 = chooseOne chooser [fmap unTagg1, fmap unTag g2]