generics-mrsop: Generic Programming with Mutually Recursive Sums of Products.

[ generics, library, mit ] [ Propose Tags ]

A library that supports generic programming for mutually recursive families in the sum-of-products style.

A couple usage examples can be found under Generics.MRSOP.Examples


[Skip to Readme]
Versions [faq] 1.0.0.1, 1.2.2, 2.0.0, 2.1.0, 2.2.0, 2.3.0
Change log ChangeLog.md
Dependencies base (>=4.9 && <=5), containers, mtl, template-haskell [details]
License MIT
Author Victor Miraldo and Alejandro Serrano
Maintainer v.cacciarimiraldo@gmail.com
Category Generics
Source repo head: git clone https://github.com/VictorCMiraldo/generics-mrsop
this: git clone https://github.com/VictorCMiraldo/generics-mrsop(tag v2.1.0)
Uploaded by vcmiraldo at Wed Jul 24 09:47:12 UTC 2019
Distributions LTSHaskell:1.2.2, NixOS:2.3.0, Stackage:2.0.0
Downloads 899 total (96 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-07-24 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for generics-mrsop-2.1.0

[back to package description]

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.