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.

Changes

Revision history for generics-mrsop

1.0.0.0 – May 2018

  • First version. Released on an unsuspecting world.
Depends on 4 packages:
Used by 1 package:
comments powered byDisqus