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

# optics-core-0.4.1: 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.

Modules

• Data
Submodules
• Either
Submodules
• Prisms for the Either datatype.
• IntMap
Submodules
• IntSet
Submodules
• Optics for working with IntSets.
• List
Submodules
• Traversals for manipulating parts of a list.
• Map
Submodules
• Optics for working with Maps.
• Maybe
Submodules
• Prisms for the Maybe datatype.
• Sequence
Submodules
• Optics for working with Seqs.
• Set
Submodules
• Optics for working with Sets.
• Tree
Submodules
• Optics for working with Trees.
• Tuple
Submodules
• Lenses for tuple types.
• Typeable
Submodules
• Optics for working with Typeable.
• GHC
Submodules
• Generics
Submodules
• Numeric
Submodules
• Optics for working with numeric types.
• Optics
Submodules
• A Fold that contains at most one element.
• A Traversal that applies to at most one element.
• Turn optics into arrow transformers.
• At
Submodules
• Optics for Map and Set-like containers.
• Operators to coerce the type parameters of Optic.
• Cons
Submodules
• Optics to access the left or right element of a container.
• The core optics functionality re-exported.
Submodules
• Each
Submodules
• An IxTraversal for each element of a (potentially monomorphic) container.
• Empty
Submodules
• A Prism for a type that may be _Empty.
• Extracts elements from a container.
• Data access via the Generic type class.
• A function considered as an Optic.
• Indexed
Submodules
• Core definitions for indexed optics.
• Internal
Submodules
• Translates between types with the same structure.
• An indexed version of an AffineFold.
• An indexed version of an AffineTraversal.
• An indexed version of a Fold.
• An indexed version of a Getter.
• An indexed version of a Lens.
• An indexed version of a Setter.
• An indexed version of a Traversal.
• A generalised or first-class field.
• Lifting optics using Functors map.
• Definitions of infix operators for optics.
Submodules
• Definitions of unsafe infix operators for optics.
• Common abstraction for all kinds of optics.
• A generalised or first-class constructor.
• The re operator allows some optics to be reversed.
• A backwards Lens.
• A backwards Prism.
• A backwards Getter, i.e. a function.