@hackage / projection

Projection function for arbitrarily nested binary product types.

Latest0.1

About

Metadata

  • Last updated , by PatrickBahr
  • License BSD-3-Clause
  • Categories Generics

  • Maintained by: paba@di.ku.dk

  • Lottery factor: 0

Links

Installation

Readme

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