bff-mono: "Bidirectionalization for Free" for Monomorphic Transformations

[ bsd3, data, lenses, library ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.2.0, 0.2.1, 0.2.2, 0.2.3
Dependencies base (>=4 && <5), containers, mtl [details]
License BSD-3-Clause
Author Kazutaka Matsuda, Meng Wang
Maintainer kztk@is.s.u-tokyo.ac.jp
Category Data, Lenses
Home page https://bitbucket.org/kztk/bff-mono/
Source repo head: git clone https://bitbucket.org/kztk/bff-mono.git
Uploaded by kztk at 2014-08-14T07:36:00Z
Distributions NixOS:0.2.3
Downloads 3260 total (19 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]