explicit-constraint-lens: Fully-flexible polymorphic lenses, without any bizarre profunctors

[ data, gpl, library ] [ Propose Tags ]

A snowclone of the great lens library. It implements the full hierarchy from isomorphisms to setters and folds, but instead of the Van Laarhoven implementation with universally-quantified functor mappings (powerful and elegant, but infamously beginner-scaring), it encapsulates the various realworld-usecase signatures like get+set or build+distinguish in a well-confined type family and expresses the relations between the different optics explicitly, with a dedicated class hierarchy.

See the Readme for details on how this library differs from the alternatives. See the Haddocks to learn how to use it.

Versions 0.1.0.0
Dependencies base (>=4.8 && <4.11) [details]
License GPL-3.0-only
Author Justus Sagemüller
Maintainer (@) jsagemue $ uni-koeln.de
Category Data
Home page https://github.com/leftaroundabout/explicit-constraint-lens
Uploaded by leftaroundabout at Sat Dec 30 20:54:40 UTC 2017
Distributions NixOS:0.1.0.0
Downloads 136 total (6 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-12-31 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees