Trait optics::traits::Lens

source ·
pub trait Lens<T>: Getter<T> + AffineTraversal<T>
where Self::View: Sized,
{ }
Expand description

Lens: getter and setter.

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl<L: Lens<T>, T> Lens<T> for &L
where Self::View: Sized,

Implementors§

source§

impl<K, L, T> Lens<T> for Compose<K, L>
where K: Lens<T>, K::View: Sized, L: Lens<K::View>, L::View: Sized,

source§

impl<T0> Lens<(T0,)> for _0

source§

impl<T0, T1> Lens<(T0, T1)> for _0

source§

impl<T0, T1> Lens<(T0, T1)> for _1

source§

impl<T0, T1, T2> Lens<(T0, T1, T2)> for _0

source§

impl<T0, T1, T2> Lens<(T0, T1, T2)> for _1

source§

impl<T0, T1, T2> Lens<(T0, T1, T2)> for _2

source§

impl<T0, T1, T2, T3> Lens<(T0, T1, T2, T3)> for _0

source§

impl<T0, T1, T2, T3> Lens<(T0, T1, T2, T3)> for _1

source§

impl<T0, T1, T2, T3> Lens<(T0, T1, T2, T3)> for _2

source§

impl<T0, T1, T2, T3> Lens<(T0, T1, T2, T3)> for _3

source§

impl<T> Lens<T> for Identity

source§

impl<T> Lens<T> for _Identity<T>

source§

impl<T, L: Lens<T>, S, F, E, G> Lens<T> for MapFallible<L, F, G>
where F: Fn(L::Success) -> S, G: Fn(L::Error) -> E, L::View: Sized,