Trait optics::traits::AffineFoldMut

pub trait AffineFoldMut<'a, T: ?Sized>: Optics<T> + OpticsFallible
where
    Self::View: 'a,
{
    // Required method
    fn preview_mut(
        &self,
        s: &'a mut T
    ) -> Result<&'a mut Self::View, Self::Error>;
}

AffineFold, with mutable references.

Required Methods

fn preview_mut(&self, s: &'a mut T) -> Result<&'a mut Self::View, Self::Error>

Retrieve a mutable reference the value targeted by an AffineFold.

Implementations on Foreign Types

impl<'a, L: AffineFoldMut<'a, T>, T: ?Sized + 'a> AffineFoldMut<'a, T> for &L

where Self::View: 'a,

fn preview_mut(&self, s: &'a mut T) -> Result<&'a mut L::View, Self::Error>

Implementors

impl<'a, T0> AffineFoldMut<'a, (T0,)> for _0

where T0: 'a,

impl<'a, T0, T1> AffineFoldMut<'a, (T0, T1)> for _0

where T0: 'a,

impl<'a, T0, T1> AffineFoldMut<'a, (T0, T1)> for _1

where T1: 'a,

impl<'a, T0, T1, T2> AffineFoldMut<'a, (T0, T1, T2)> for _0

where T0: 'a,

impl<'a, T0, T1, T2> AffineFoldMut<'a, (T0, T1, T2)> for _1

where T1: 'a,

impl<'a, T0, T1, T2> AffineFoldMut<'a, (T0, T1, T2)> for _2

where T2: 'a,

impl<'a, T0, T1, T2, T3> AffineFoldMut<'a, (T0, T1, T2, T3)> for _0

where T0: 'a,

impl<'a, T0, T1, T2, T3> AffineFoldMut<'a, (T0, T1, T2, T3)> for _1

where T1: 'a,

impl<'a, T0, T1, T2, T3> AffineFoldMut<'a, (T0, T1, T2, T3)> for _2

where T2: 'a,

impl<'a, T0, T1, T2, T3> AffineFoldMut<'a, (T0, T1, T2, T3)> for _3

where T3: 'a,

impl<'a, T> AffineFoldMut<'a, Option<T>> for _Some

where T: 'a,

impl<'a, T> AffineFoldMut<'a, T> for Identity

where T: 'a,

impl<'a, T, E> AffineFoldMut<'a, Result<T, E>> for _Err

where E: 'a,

impl<'a, T, E> AffineFoldMut<'a, Result<T, E>> for _Ok

where T: 'a,

impl<'a, T: ?Sized + 'a> AffineFoldMut<'a, T> for _Identity<T>

impl<'a, T: ?Sized, K, L> AffineFoldMut<'a, T> for Compose<K, L>

where K: AffineFoldMut<'a, T>, K::View: 'a, L: AffineFoldMut<'a, K::View>, L::View: 'a,

impl<'a, T: ?Sized, L: AffineFoldMut<'a, T>, S, F, E, G> AffineFoldMut<'a, T> for MapFallible<L, F, G>

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