@hackage / bff-mono

"Bidirectionalization for Free" for Monomorphic Transformations

Latest0.2.3

About

Metadata

  • Last updated , by kztk
  • License BSD-3-Clause
  • Categories Lenses

  • Maintained by: kztk@is.s.u-tokyo.ac.jp

  • Lottery factor: 0

Links

Installation

Readme

This package provides a way to make a bidirectional transformation (a getter/setter pair, or so-called lens) from a description of unidirectional transformation. Like bff package, the package constructs bidirectional transformations based on the free theorem. Unlike bff package, the package supports some of monomorphic transformations.