optics-0.4.2.1: Optics as an abstract interface

This package makes it possible to define and use Lenses, Traversals, Prisms and other optics, using an abstract interface. See the main module Optics for the documentation.

This is the "batteries-included" variant with many dependencies; see the optics-core package and other optics-* dependencies if you need a more limited dependency footprint.

Modules

Data
Submodules
- ByteString
  Submodules
  - Lazy
    Submodules
    Data.ByteString.Lazy.Optics
  - Data.ByteString.Optics
  - Strict
    Submodules
    Data.ByteString.Strict.Optics
- Either
  Submodules
  - Data.Either.Optics Prisms for the Either datatype.
- HashMap
  Submodules
  - Data.HashMap.Optics Optics for working with HashMaps.
- HashSet
  Submodules
  - Data.HashSet.Optics Optics for working with HashSets.
- 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.
- Text
  Submodules
  - Lazy
    Submodules
    Data.Text.Lazy.Optics Optics for working with lazy Text.
  - Data.Text.Optics Optics for working with strict or lazy Text.
  - Strict
    Submodules
    Data.Text.Strict.Optics Optics for working with strict Text.
- 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.
- Vector
  Submodules
  - Generic
    Submodules
    Data.Vector.Generic.Optics
  - Data.Vector.Optics
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 The main module, usually you only need to import this one.
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.
- Optics.At Optics for Map and Set-like containers.
- Optics.Coerce Operators to coerce the type parameters of Optic.
- Optics.Cons Optics to access the left or right element of a container.
- Optics.Each An IxTraversal for each element of a (potentially monomorphic) container.
- Optics.Empty A Prism for a type that may be _Empty.
- Optics.Fold Extracts elements from a container.
- Optics.Generic Data access via the Generic type class.
- Optics.Getter A function considered as an Optic.
- Optics.Indexed Definitions of indexed optics.
- 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.Passthrough
- 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.State Setter utilities for working with MonadState.
  Submodules
  - Optics.State.Operators Infix operators for state-modifying optics.
- Optics.TH
- Optics.Traversal Lifts an effectful operation on elements to act on structures.
- Optics.View
- Optics.Zoom