fclabels: First class accessor labels implemented as lenses.
This package provides first class labels that can act as bidirectional record fields. The labels can be derived automatically using Template Haskell which means you don't have to write any boilerplate yourself. The labels are implemented as lenses and are fully composable. Lenses can be used to get, set and modify parts of a data type in a consistent way.
See Data.Label for an introductory explanation or see the introductory blog post at http://fvisser.nl/post/2013/okt/1/fclabels-2.0.html
Total and partial lenses
Internally lenses do not used Haskell functions directly, but are implemented as categories. Categories allow the lenses to be run in custom computational contexts. This approach allows us to make partial lenses that point to fields of multi-constructor datatypes in an elegant way.
See Data.Label.Partial for the use of partial labels.
Monomorphic and polymorphic lenses
We have both polymorphic and monomorphic lenses. Polymorphic lenses allow updates that change the type. The types of polymorphic lenses are slightly more verbose than their monomorphic counterparts, but their usage is similar. Because monomorphic lenses are built by restricting the types of polymorphic lenses they are essentially the same and can be freely composed with eachother.
To simplify working with labels we supply both a set of labels for Haskell's base types, like lists, tuples, Maybe and Either, and we supply a set of combinators for working with labels for values in the Reader and State monad.
Changelog from 184.108.40.206 to 220.127.116.11
- Fix deriving with data types with more than 24 fields.
|Versions [faq]||0.1, 0.1.2, 0.2.0, 0.3.0, 0.4.0, 0.4.1, 0.4.2, 0.4.2.1, 0.9.0, 0.9.1, 0.11.0, 0.11.1, 0.11.1.1, 0.11.2, 1.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.0.5, 1.1.0, 18.104.22.168, 22.214.171.124, 126.96.36.199, 188.8.131.52, 1.1.2, 1.1.3, 1.1.4, 184.108.40.206, 220.127.116.11, 18.104.22.168, 1.1.5, 1.1.6, 1.1.7, 22.214.171.124, 2.0, 126.96.36.199, 188.8.131.52, 184.108.40.206, 220.127.116.11, 18.104.22.168, 2.0.1, 22.214.171.124, 2.0.2, 126.96.36.199, 188.8.131.52, 184.108.40.206, 220.127.116.11, 2.0.3, 18.104.22.168, 22.214.171.124, 126.96.36.199|
|Dependencies||base (>=4.4 && <5), mtl (>=1.0 && <2.2), template-haskell (>=2.2 && <2.9), transformers (>=0.2 && <0.4) [details]|
|Author||Sebastiaan Visser, Erik Hesselink, Chris Eidhof, Sjoerd Visscher with lots of help and feedback from others.|
|Maintainer||Sebastiaan Visser <email@example.com>|
|Revised||Revision 1 made by HerbertValerioRiedel at Wed Jan 7 08:10:22 UTC 2015|
|Source repo||head: git clone git://github.com/sebastiaanvisser/fclabels.git|
|Uploaded||by ErikHesselink at Wed Oct 30 10:59:43 UTC 2013|
|Distributions||Arch:188.8.131.52, Debian:184.108.40.206, Fedora:220.127.116.11, LTSHaskell:18.104.22.168, NixOS:22.214.171.124, Stackage:126.96.36.199|
|Downloads||47054 total (466 in the last 30 days)|
|Rating||2.25 (votes: 2) [estimated by rule of succession]|
Docs available [build log]
Successful builds reported [all 1 reports]
- fclabels-188.8.131.52.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
For package maintainers and hackage trustees