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).
pa-ba / projection Goto Github PK
View Code? Open in Web Editor NEWProjection function for arbitrarily nested binary product types.
Home Page: http://hackage.haskell.org/package/projection
License: Other