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


Versions 0.1
Dependencies base (>=4.7 && <5) [details]
License BSD3
Author Patrick Bahr
Stability Unknown
Category Generics
Bug tracker
Source repository head: git clone
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)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees