Header menu logo issie

Optics Module

Types and nested modules

Type/Module Description

Compose

Functions for composing lenses and prisms with other optics, which returns a new lens or prism based on the optic composed. Open `Aether.Operators` to use the infix operator forms of these compositions, which is significantly less verbose.

Lens

Functions for creating or using lenses.

Operators

Optional custom operators for working with optics. Provides more concise syntactic options for working with the functions in the `Compose` and `Optic` modules.

Optic

Functions for using optics to operate on data structures, using the basic optic operations of get, set and map. The functions are overloaded to take either lenses or prisms, with the return type being inferred.

Optics

Various optics implemented for common types such as tuples, lists and maps, along with an identity lens.

Prism

Functions for creating or using prisms.

Epimorphism<'a, 'b>

Epimorphism between 'a <> 'b.

Isomorphism<'a, 'b>

Isomorphism between 'a <> 'b.

Lens<'a, 'b>

Lens from 'a -> 'b.

Prism<'a, 'b>

Prism from 'a -> 'b.

Type something to start searching.