The projection package

[ Tags: bsd3, generics, library ] [ Propose Tags ]

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
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 324 total (6 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees