projection
Version 0.1 revision 1 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