Generic Programming, with combinators, for Mutually Recursive Families in the Sums of Products style.
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.
Revision history for generics-mrsop
188.8.131.52 – May 2018
- First version. Released on an unsuspecting world.