generics-mrsop

Generic Programming with Mutually Recursive Sums of Products.

Version on this page:1.2.2
LTS Haskell 14.27:2.1.0
Stackage Nightly 2019-09-21:2.1.0
Latest on Hackage:2.3.0

See all snapshots generics-mrsop appears in

MIT licensed by Victor Miraldo and Alejandro Serrano
Maintained by [email protected]
This version can be pinned in stack with:generics-mrsop-1.2.2@sha256:9c5a7ebbf36c82d0009cc8e66b5d780a1a908579aa00357d15dda02eb88022b9,2090

Module documentation for 1.2.2

  • Generics
    • Generics.MRSOP
      • Generics.MRSOP.AG
      • Generics.MRSOP.Base
        • Generics.MRSOP.Base.Class
        • Generics.MRSOP.Base.Combinators
        • Generics.MRSOP.Base.Metadata
        • Generics.MRSOP.Base.NP
        • Generics.MRSOP.Base.NS
        • Generics.MRSOP.Base.Show
        • Generics.MRSOP.Base.Universe
      • Generics.MRSOP.Examples
        • Generics.MRSOP.Examples.LambdaAlphaEqTH
        • Generics.MRSOP.Examples.RoseTree
        • Generics.MRSOP.Examples.RoseTreeTH
        • Generics.MRSOP.Examples.SimpTH
      • Generics.MRSOP.Opaque
      • Generics.MRSOP.TH
      • Generics.MRSOP.Util
      • Generics.MRSOP.Zipper
        • Generics.MRSOP.Zipper.Deep

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.