Trait lens_rs::traits::Prism

pub trait Prism<T>: PrismMut<T> + Traversal<T> {
    fn pm(&self, source: T) -> Option<Self::To>;
}

Required methods

fn pm(&self, source: T) -> Option<Self::To>

Loading content...

Implementors

impl<Pm, A> Prism<(A,)> for _0<Pm> where
    Pm: Prism<A>, 

fn pm(&self, source: (A,)) -> Option<Self::To>

impl<Pm, A> Prism<(A,)> for _both<Pm> where
    Pm: Prism<A>, 

fn pm(&self, source: (A,)) -> Option<Self::To>

impl<Pm, A, B> Prism<(A, B)> for _0<Pm> where
    Pm: Prism<A>, 

fn pm(&self, source: (A, B)) -> Option<Self::To>

impl<Pm, A, B> Prism<(A, B)> for _1<Pm> where
    Pm: Prism<B>, 

fn pm(&self, source: (A, B)) -> Option<Self::To>

impl<Pm, A, B, C> Prism<(A, B, C)> for _0<Pm> where
    Pm: Prism<A>, 

fn pm(&self, source: (A, B, C)) -> Option<Self::To>

impl<Pm, A, B, C> Prism<(A, B, C)> for _1<Pm> where
    Pm: Prism<B>, 

fn pm(&self, source: (A, B, C)) -> Option<Self::To>

impl<Pm, A, B, C> Prism<(A, B, C)> for _2<Pm> where
    Pm: Prism<C>, 

fn pm(&self, source: (A, B, C)) -> Option<Self::To>

impl<Pm, A, B, C, D> Prism<(A, B, C, D)> for _0<Pm> where
    Pm: Prism<A>, 

fn pm(&self, source: (A, B, C, D)) -> Option<Self::To>

impl<Pm, A, B, C, D> Prism<(A, B, C, D)> for _1<Pm> where
    Pm: Prism<B>, 

fn pm(&self, source: (A, B, C, D)) -> Option<Self::To>

impl<Pm, A, B, C, D> Prism<(A, B, C, D)> for _2<Pm> where
    Pm: Prism<C>, 

fn pm(&self, source: (A, B, C, D)) -> Option<Self::To>

impl<Pm, A, B, C, D> Prism<(A, B, C, D)> for _3<Pm> where
    Pm: Prism<D>, 

fn pm(&self, source: (A, B, C, D)) -> Option<Self::To>

impl<Pm, A, B, C, D, E> Prism<(A, B, C, D, E)> for _0<Pm> where
    Pm: Prism<A>, 

fn pm(&self, source: (A, B, C, D, E)) -> Option<Self::To>

impl<Pm, A, B, C, D, E> Prism<(A, B, C, D, E)> for _1<Pm> where
    Pm: Prism<B>, 

fn pm(&self, source: (A, B, C, D, E)) -> Option<Self::To>

impl<Pm, A, B, C, D, E> Prism<(A, B, C, D, E)> for _2<Pm> where
    Pm: Prism<C>, 

fn pm(&self, source: (A, B, C, D, E)) -> Option<Self::To>

impl<Pm, A, B, C, D, E> Prism<(A, B, C, D, E)> for _3<Pm> where
    Pm: Prism<D>, 

fn pm(&self, source: (A, B, C, D, E)) -> Option<Self::To>

impl<Pm, A, B, C, D, E> Prism<(A, B, C, D, E)> for _4<Pm> where
    Pm: Prism<E>, 

fn pm(&self, source: (A, B, C, D, E)) -> Option<Self::To>

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

fn pm(&self, source: (A, B, C, D, E, F)) -> Option<Self::To>

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

fn pm(&self, source: (A, B, C, D, E, F)) -> Option<Self::To>

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

fn pm(&self, source: (A, B, C, D, E, F)) -> Option<Self::To>

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

fn pm(&self, source: (A, B, C, D, E, F)) -> Option<Self::To>

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

fn pm(&self, source: (A, B, C, D, E, F)) -> Option<Self::To>

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

fn pm(&self, source: (A, B, C, D, E, F)) -> Option<Self::To>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<Pm, T> Prism<Option<T>> for Some<Pm> where
    Pm: Prism<T>, 

fn pm(&self, source: Option<T>) -> Option<Self::To>

impl<Pm, T> Prism<Box<T, Global>> for _box<Pm> where
    Pm: Prism<T>, 

fn pm(&self, source: Box<T>) -> Option<Self::To>

impl<Pm, T, E> Prism<Result<T, E>> for Err<Pm> where
    Pm: Prism<E>, 

fn pm(&self, source: Result<T, E>) -> Option<Self::To>

impl<Pm, T, E> Prism<Result<T, E>> for Ok<Pm> where
    Pm: Prism<T>, 

fn pm(&self, source: Result<T, E>) -> Option<Self::To>

impl<T> Prism<T> for __

fn pm(&self, source: T) -> Option<Self::To>

Loading content...