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

[ generics, library, mit ] [ Propose Tags ] [ Report a vulnerability ]

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]

Modules

[Index]

Generics
- MRSOP

Downloads

generics-mrsop-1.2.2.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

vcmiraldo

For package maintainers and hackage trustees

edit package information

Candidates

1.0.0.1, 1.1.1, 1.2.2, 2.0.0, 2.1.0, 2.2.0, 2.3.0

Versions [RSS]	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]
Tested with	ghc ==8.2.2, ghc ==8.4.2
License	MIT
Author	Victor Miraldo and Alejandro Serrano
Maintainer	v.cacciarimiraldo@gmail.com
Uploaded	by vcmiraldo at 2018-09-24T19:21:08Z
Category	Generics
Source repo	head: git clone https://github.com/VictorCMiraldo/generics-mrsop this: git clone https://github.com/VictorCMiraldo/generics-mrsop(tag v1.2.2)
Reverse Dependencies	3 direct, 0 indirect [details]
Downloads	3186 total (22 in the last 30 days)
Rating	2.0 (votes: 1) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user [build log] All reported builds failed as of 2018-09-24 [all 2 reports]

Readme for generics-mrsop-1.2.2

[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.