Trait optics::traits::AffineFold

pub trait AffineFold<T>: Optics<T> + OpticsFallible
where
    Self::View: Sized,
{
    // Required method
    fn preview(&self, s: T) -> Result<Self::View, Self::Error>;
}

AffineFold: getter, but may fail.

Required Methods

fn preview(&self, s: T) -> Result<Self::View, Self::Error>

Retrieve the value targeted by an AffineFold.

Implementations on Foreign Types

impl<L: AffineFold<T>, T> AffineFold<T> for &L

where Self::View: Sized,

fn preview(&self, s: T) -> Result<L::View, Self::Error>

Implementors

impl<K, L, T> AffineFold<T> for Compose<K, L>

where K: AffineFold<T>, K::View: Sized, L: AffineFold<K::View>, L::View: Sized,

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

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

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

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

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

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

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

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

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

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

impl<T> AffineFold<Option<T>> for _Some

impl<T> AffineFold<T> for Identity

impl<T> AffineFold<T> for _Identity<T>

impl<T, E> AffineFold<Result<T, E>> for _Err

impl<T, E> AffineFold<Result<T, E>> for _Ok

impl<T, L: AffineFold<T>, S, F, E, G> AffineFold<T> for MapFallible<L, F, G>

where F: Fn(L::Success) -> S, G: Fn(L::Error) -> E, L::View: Sized,