Generic Programming with Mutually Recursive Sums of Products.

LTS Haskell 13.29:1.2.2
Stackage Nightly 2019-07-20:2.0.0
Latest on Hackage:2.0.0

See all snapshots generics-mrsop appears in

MIT licensed by Victor Miraldo and Alejandro Serrano


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.


Revision history for generics-mrsop

2.0.0 – Mar 2019

  • Eq1 and Show1 are now called EqHO and ShowHO. This avoids clashing with the already existing Eq1 in Prelude.
  • A number of functions received a IsNat constraint.
  • Generics.MRSOP.Util is now re-exported by Generics.MRSOP.Base.
  • Support for inheritted attributes no longer exists in Generics.MRSOP.AG
  • Fix is no longer implemented by AnnFix. The later now lives in Generics.MRSOP.AG

1.2.2 – Sep 2018

  • added monadic catamorphism for NP
  • added pattern signature generation for TH
  • require TestEqualiy for opaque types singleton
  • Zippers over deep representations
  • Refined Metadata handling
  • Fix is implemented as AnnFix – May 2018

  • First version. Released on an unsuspecting world.
comments powered byDisqus