The latest version of projection is 0.1-1.
projection
Version 0.1 revision 0 uploaded by PatrickBahr.
Package meta
- Synopsis
- Projection function for arbitrarily nested binary product types.
- Description
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).
- Author
- Patrick Bahr
- Bug reports
- https://github.com/pa-ba/projection/issues
- Category
- Generics
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- paba@di.ku.dk
- Package URL
- n/a
- Stability
- n/a