Trait lens_rs::traits::LensRef

pub trait LensRef<T>: PrismRef<T> {
    fn view_ref<'a>(&self, source: &'a T) -> &'a Self::To;
}

A trait representing the optics allows you to access the field. A Lens can access the substructure must exist.

Example

let mut x = (1, (2, (3, 4)));
*optics!(_1._1._1).view_mut(&mut x) *= 2;
assert_eq!(optics!(_1._1._1).view(x), 8);

Required methods

fn view_ref<'a>(&self, source: &'a T) -> &'a Self::To

Loading content...

Implementors

impl<'t, T, Ls> LensRef<&'t T> for _ref<Ls> where
    Ls: LensRef<<&'t T as Deref>::Target>, 

fn view_ref<'a>(&self, source: &'a &'t T) -> &'a Self::To

impl<'t, T, Ls> LensRef<&'t mut T> for _mut<Ls> where
    Ls: LensRef<<&'t mut T as Deref>::Target>, 

fn view_ref<'a>(&self, source: &'a &'t mut T) -> &'a Self::To

impl<Ls, A> LensRef<(A,)> for _0<Ls> where
    Ls: LensRef<A>, 

fn view_ref<'a>(&self, source: &'a (A,)) -> &'a Self::To

impl<Ls, A> LensRef<(A,)> for _both<Ls> where
    Ls: LensRef<A>, 

fn view_ref<'a>(&self, source: &'a (A,)) -> &'a Self::To

impl<Ls, A, B> LensRef<(A, B)> for _0<Ls> where
    Ls: LensRef<A>, 

fn view_ref<'a>(&self, source: &'a (A, B)) -> &'a Self::To

impl<Ls, A, B> LensRef<(A, B)> for _1<Ls> where
    Ls: LensRef<B>, 

fn view_ref<'a>(&self, source: &'a (A, B)) -> &'a Self::To

impl<Ls, A, B, C> LensRef<(A, B, C)> for _0<Ls> where
    Ls: LensRef<A>, 

fn view_ref<'a>(&self, source: &'a (A, B, C)) -> &'a Self::To

impl<Ls, A, B, C> LensRef<(A, B, C)> for _1<Ls> where
    Ls: LensRef<B>, 

fn view_ref<'a>(&self, source: &'a (A, B, C)) -> &'a Self::To

impl<Ls, A, B, C> LensRef<(A, B, C)> for _2<Ls> where
    Ls: LensRef<C>, 

fn view_ref<'a>(&self, source: &'a (A, B, C)) -> &'a Self::To

impl<Ls, A, B, C, D> LensRef<(A, B, C, D)> for _0<Ls> where
    Ls: LensRef<A>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D)) -> &'a Self::To

impl<Ls, A, B, C, D> LensRef<(A, B, C, D)> for _1<Ls> where
    Ls: LensRef<B>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D)) -> &'a Self::To

impl<Ls, A, B, C, D> LensRef<(A, B, C, D)> for _2<Ls> where
    Ls: LensRef<C>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D)) -> &'a Self::To

impl<Ls, A, B, C, D> LensRef<(A, B, C, D)> for _3<Ls> where
    Ls: LensRef<D>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D)) -> &'a Self::To

impl<Ls, A, B, C, D, E> LensRef<(A, B, C, D, E)> for _0<Ls> where
    Ls: LensRef<A>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E)) -> &'a Self::To

impl<Ls, A, B, C, D, E> LensRef<(A, B, C, D, E)> for _1<Ls> where
    Ls: LensRef<B>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E)) -> &'a Self::To

impl<Ls, A, B, C, D, E> LensRef<(A, B, C, D, E)> for _2<Ls> where
    Ls: LensRef<C>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E)) -> &'a Self::To

impl<Ls, A, B, C, D, E> LensRef<(A, B, C, D, E)> for _3<Ls> where
    Ls: LensRef<D>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E)) -> &'a Self::To

impl<Ls, A, B, C, D, E> LensRef<(A, B, C, D, E)> for _4<Ls> where
    Ls: LensRef<E>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F> LensRef<(A, B, C, D, E, F)> for _0<Ls> where
    Ls: LensRef<A>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F> LensRef<(A, B, C, D, E, F)> for _1<Ls> where
    Ls: LensRef<B>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F> LensRef<(A, B, C, D, E, F)> for _2<Ls> where
    Ls: LensRef<C>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F> LensRef<(A, B, C, D, E, F)> for _3<Ls> where
    Ls: LensRef<D>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F> LensRef<(A, B, C, D, E, F)> for _4<Ls> where
    Ls: LensRef<E>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F> LensRef<(A, B, C, D, E, F)> for _5<Ls> where
    Ls: LensRef<F>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F, G> LensRef<(A, B, C, D, E, F, G)> for _0<Ls> where
    Ls: LensRef<A>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F, G)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F, G> LensRef<(A, B, C, D, E, F, G)> for _1<Ls> where
    Ls: LensRef<B>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F, G)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F, G> LensRef<(A, B, C, D, E, F, G)> for _2<Ls> where
    Ls: LensRef<C>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F, G)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F, G> LensRef<(A, B, C, D, E, F, G)> for _3<Ls> where
    Ls: LensRef<D>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F, G)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F, G> LensRef<(A, B, C, D, E, F, G)> for _4<Ls> where
    Ls: LensRef<E>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F, G)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F, G> LensRef<(A, B, C, D, E, F, G)> for _5<Ls> where
    Ls: LensRef<F>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F, G)) -> &'a Self::To

impl<Ls, A, B, C, D, E, F, G> LensRef<(A, B, C, D, E, F, G)> for _6<Ls> where
    Ls: LensRef<G>, 

fn view_ref<'a>(&self, source: &'a (A, B, C, D, E, F, G)) -> &'a Self::To

impl<T> LensRef<T> for __

fn view_ref<'a>(&self, source: &'a T) -> &'a Self::To

impl<T, Ls> LensRef<Box<T, Global>> for _box<Ls> where
    Ls: LensRef<<Box<T> as Deref>::Target>, 

fn view_ref<'a>(&self, source: &'a Box<T>) -> &'a Self::To

impl<T, Ls> LensRef<Rc<T>> for _arc<Ls> where
    Ls: LensRef<<Rc<T> as Deref>::Target>, 

fn view_ref<'a>(&self, source: &'a Rc<T>) -> &'a Self::To

impl<T, Ls> LensRef<Rc<T>> for _rc<Ls> where
    Ls: LensRef<<Rc<T> as Deref>::Target>, 

fn view_ref<'a>(&self, source: &'a Rc<T>) -> &'a Self::To

Loading content...