The projection package

[Tags:bsd3, library]

This package implements a projection function for arbitrarily nested binary product types. The implementation is based on closed type families and follows the approach described in the paper Composing and Decomposing Data Types (Workshop on Generic Programming, 2014, to appear).

Properties

Versions 0.1
Dependencies base (>=4.7 && <5) [details]
License BSD3
Author Patrick Bahr
Maintainer paba@di.ku.dk
Stability Unknown
Category Generics
Bug tracker https://github.com/pa-ba/projection/issues
Source repository head: git clone https://github.com/pa-ba/projection
Uploaded Fri Aug 22 08:49:04 UTC 2014 by PatrickBahr
Updated Fri Aug 22 08:50:07 UTC 2014 by PatrickBahr to revision 1
Distributions NixOS:0.1
Downloads 277 total (6 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees