Generics.MultiRec.TH.Alt
Description
Example usage:
import Generics.MultiRec import Generics.MultiRec.TH.Alt import Data.Tree data TheFam :: (* -> *) where Tree_Int :: TheFam (Tree Int) Forest_Int :: TheFam (Forest Int) $(deriveEverything
(DerivOptions
[ ( [t| Tree Int |], "Tree_Int" ) , ( [t| Forest Int |], "Forest_Int" ) ] "TheFam" (\t c -> "CONSTRUCTOR_" ++ t ++ "_" ++ c) "ThePF" True ) ) type instancePF
TheFam = ThePF
Documentation
data DerivOptions ft Source
Constructors
DerivOptions | |
Fields
|
Instances
deriveEverything :: DerivOptions [(TypeQ, String)] -> Q [Dec]Source