Trait optics::traits::Setter

pub trait Setter<T>: Optics<T>
where
    Self::View: Sized,
{
    // Required method
    fn over(&self, s: &mut T, f: &mut dyn FnMut(&mut Self::View));

    // Provided method
    fn set_cloned(&self, a: &Self::View, s: &mut T)
       where Self::View: Clone { ... }
}

Setter.

Required Methods

fn over(&self, s: &mut T, f: &mut dyn FnMut(&mut Self::View))

Apply a setter as a modifier.

Provided Methods

fn set_cloned(&self, a: &Self::View, s: &mut T)

where Self::View: Clone,

Apply a setter.

Note

The value to be set is cloned, because we don’t know the exact number of holes to be filled in. If the optics has a stricter interface (i.e., it also implements AffineTraversal), use AffineTraversal::set instead.

Implementations on Foreign Types

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

where Self::View: Sized,

fn over(&self, s: &mut T, f: &mut dyn FnMut(&mut Self::View))

fn set_cloned(&self, a: &Self::View, s: &mut T)

where Self::View: Clone,

Implementors

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

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

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

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

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

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

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

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

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

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

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

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

impl<T> Setter<Option<T>> for _Some

impl<T> Setter<T> for Identity

impl<T> Setter<T> for _Identity<T>

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

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

impl<T, L: Setter<T>, F, G> Setter<T> for MapFallible<L, F, G>

where L::View: Sized,