@hackage explicit-constraint-lens0.1.0.0

Fully-flexible polymorphic lenses, without any bizarre profunctors

  • Categories

    • License

      GPL-3.0-only

    • Maintainer

      (@) jsag $ hvl.no

      Lottery factor: 1

      Uploader: leftaroundabout

    • Versions

    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.