A wrapper of the [`FallibleIso`] optic implementations, encapsulating a potentially failing, reversible bijective conversion. `FallibleIsoImpl` provi

A wrapper of the [`Getter`] optic implementations, encapsulating a total getter function. `GetterImpl` provides a way to define total getters - optic

A wrapper of the [`Iso`] optic implementations, encapsulating a reversible bijective conversion. `IsoImpl` provides a way to define a reversible bije

A wrapper of the [`Lens`] optic implementations, encapsulating a getter and setter function. `LensImpl` provides a way to define lenses - optics that

A wrapper of the [`PartialGetter`] optic implementations, encapsulating a partial getter function. `PartialGetterImpl` provides a way to define parti

A wrapper of the [`Prism`] optic implementations, encapsulating a partial getter and a setter function. `Prism` provides a way to define optics that

A wrapper of the [`Setter`] optic implementations, encapsulating a setter function. `SetterImpl` provides a way to define setters - optics that are a

A `ComposedPrism` represents the composition of two optics, resulting in a `Prism` that focuses from a source type `S` to a target type `A` through an

A `FallibleIso` defines a reversible, but potentially failing conversion between two types. It provides: - `try_get` to convert a value of type `S` t

A `Getter` is an optic that focuses on a value inside a product type. It provides: - `get` to extract a focused value from a larger type This is use

A base trait for optics that provides a partial getter operation. This trait defines the ability to retrieve a value of type `A` from a source of typ

Provides a convenient interface for applying a transformation function over a target value within a source. This trait is automatically implemented f

A base trait for optics that provides a partial reversible operation. This trait defines the ability to reverse a value of type `A` back into a sourc

TODO: Consider returning a bool here, or adding a SetterError associated type A base trait for optics that provides a setter operation. This trait de

Provides a simplified interface for optics with infallible getter operations. This trait is automatically implemented for any optic that implements [

Provides a simplified interface for optics with infallible reverse-get operations. This trait is automatically implemented for any optic that impleme

An `Iso` defines an isomorphism between two type, which is a bijective, reversible conversion between the members of two types. It provides: - `get`

An optic for focusing on a value that is guaranteed to exist within a larger structure. A `Lens` is appropriate for product types (e.g., structs) whe

Creates a new `Getter` with the provided getter function. # Type Parameters - `S`: The source type of the optic - `A`: The target type of the optic #

A concrete implementation of the [`PartialGetter`] trait. This struct allows you to create a `PartialGetter` by providing custom getter and setter fu

The base trait for all optics in this library. An `Optic` is a general abstraction representing a way to access and update a value (`A`) inside a lar

A `PartialGetter` is an optic that focuses on a potentially missing value, providing only a read operations It provides: - `try_get` to optionally ex

A `Prism` is an optic that focuses on a potentially missing value, such as a variant of a sum type (enum). It provides: - `try_get` to optionally ext

A `Setter` is an optic that can change its focused value, providing only a write operation It provides: - `set` to set the focused value inside a lar