optics-core-0.3: Optics as an abstract interface: core definitions

This package makes it possible to define and use Lenses, Traversals, Prisms and other optics, using an abstract interface.

This variant provides core definitions with a minimal dependency footprint. See the optics package (and its dependencies) for documentation and the "batteries-included" variant.

Signatures

Modules

Data
Submodules
- Either
  Submodules
  - Data.Either.Optics Prisms for the Either datatype.
- IntMap
  Submodules
  - Data.IntMap.Optics
- IntSet
  Submodules
  - Data.IntSet.Optics Optics for working with IntSets.
- List
  Submodules
  - Data.List.Optics Traversals for manipulating parts of a list.
- Map
  Submodules
  - Data.Map.Optics Optics for working with Maps.
- Maybe
  Submodules
  - Data.Maybe.Optics Prisms for the Maybe datatype.
- Sequence
  Submodules
  - Data.Sequence.Optics Optics for working with Seqs.
- Set
  Submodules
  - Data.Set.Optics Optics for working with Sets.
- Tree
  Submodules
  - Data.Tree.Optics Optics for working with Trees.
- Tuple
  Submodules
  - Data.Tuple.Optics Lenses for tuple types.
- Typeable
  Submodules
  - Data.Typeable.Optics Optics for working with Typeable.
GHC
Submodules
- Generics
  Submodules
  - GHC.Generics.Optics Optics for types defined in GHC.Generics.
Numeric
Submodules
- Numeric.Optics Optics for working with numeric types.
Optics
Submodules
- Optics.AffineFold A Fold that contains at most one element.
- Optics.AffineTraversal A Traversal that applies to at most one element.
- Optics.Arrow Turn optics into arrow transformers.
- At
  Submodules
  - Optics.At.Core Optics for Map and Set-like containers.
- Optics.Coerce Operators to coerce the type parameters of Optic.
- Cons
  Submodules
  - Optics.Cons.Core Optics to access the left or right element of a container.
- Optics.Core The core optics functionality re-exported.
- Each
  Submodules
  - Optics.Each.Core An IxTraversal for each element of a (potentially monomorphic) container.
- Empty
  Submodules
  - Optics.Empty.Core A Prism for a type that may be _Empty.
- Optics.Fold Extracts elements from a container.
- Optics.Getter A function considered as an Optic.
- Indexed
  Submodules
  - Optics.Indexed.Core Core definitions for indexed optics.
- Internal
  Submodules
- Optics.Iso Translates between types with the same structure.
- Optics.IxAffineFold An indexed version of an AffineFold.
- Optics.IxAffineTraversal An indexed version of an AffineTraversal.
- Optics.IxFold An indexed version of a Fold.
- Optics.IxGetter An indexed version of a Getter.
- Optics.IxLens An indexed version of a Lens.
- Optics.IxSetter An indexed version of a Setter.
- Optics.IxTraversal An indexed version of a Traversal.
- Optics.Label Overloaded labels as optics
- Optics.Lens A generalised or first-class field.
- Optics.Mapping Lifting optics using Functors map.
- Optics.Operators Definitions of infix operators for optics.
  Submodules
  - Optics.Operators.Unsafe Definitions of unsafe infix operators for optics.
- Optics.Optic Common abstraction for all kinds of optics.
- Optics.Prism A generalised or first-class constructor.
- Optics.Re The re operator allows some optics to be reversed.
- Optics.ReadOnly Converting read-write optics into their read-only counterparts.
- Optics.ReversedLens A backwards Lens.
- Optics.ReversedPrism A backwards Prism.
- Optics.Review A backwards Getter, i.e. a function.
- Optics.Setter Applies an update to all contained values.
- Optics.Traversal Lifts an effectful operation on elements to act on structures.