@hackage fclabels0.3.0
First class accessor labels.
Installation
Dependencies (3)
- base >=3 && <5
- monads-fd >=0.0 && <0.1
- template-haskell >=2.2 && <2.4 Show all…
Dependents (56)
@hackage/diagrams-contrib, @hackage/salvia-websocket, @hackage/mbox-tools, @hackage/accelerate-llvm, @hackage/agentx, @hackage/DifferentialEvolution, Show all…
First class labels that act as bidirectional records fields.
The labels are fully composable and can be used to get, set
and modify part of datatypes in a consistent way. The label
datatype, conveniently called :->, is an instance of the
Category type class, so is has a proper identity and
composition. The library has support for automatically
deriving labels from record selectors that start with an
underscore.