@hackage generics-mrsop2.0.0
Generic Programming with Mutually Recursive Sums of Products.
Installation
Tested Compilers
Dependencies (4)
- base >=4.9 && <=5
- containers
- mtl
- template-haskell Show all…
Dependents (3)
@hackage/generics-mrsop-gdiff, @hackage/hdiff, @hackage/acme-everything
generics-mrsop
Generic Programming, with combinators, for Mutually Recursive Families in the Sums of Products style.
Check the Generics.MRSOP.Examples.RoseTreeTH for a simple quick start,
or read our paper, "Sums of Products for Mutually Recursive Datatypes", for a more detailed description.