Trait ferrite_session::Prism

pub trait Prism<Row> where
    Row: RowCon, {
    type Elem;
    fn inject_elem<F>(elem: Applied<F, Self::Elem>) -> AppliedSum<Row, F>
    where
        F: TyCon;
    fn extract_elem<F>(
        row: AppliedSum<Row, F>
    ) -> Option<Applied<F, Self::Elem>>
    where
        F: TyCon;
}

Associated Types

type Elem

Loading content...

Required methods

fn inject_elem<F>(elem: Applied<F, Self::Elem>) -> AppliedSum<Row, F> where
    F: TyCon, 

fn extract_elem<F>(row: AppliedSum<Row, F>) -> Option<Applied<F, Self::Elem>> where
    F: TyCon, 

Loading content...

Implementors

impl<A, R> Prism<(A, R)> for ChoiceSelector<Z> where
    A: Send + 'static,
    R: RowCon, 

type Elem = A

fn inject_elem<F>(t: Applied<F, A>) -> AppliedSum<(A, R), F> where
    F: TyCon, 

fn extract_elem<F>(row: AppliedSum<(A, R), F>) -> Option<Applied<F, A>> where
    F: TyCon, 

impl<N, A, R> Prism<(A, R)> for ChoiceSelector<S<N>> where
    R: RowCon,
    A: Send + 'static,
    ChoiceSelector<N>: Prism<R>, 

type Elem = <ChoiceSelector<N> as Prism<R>>::Elem

fn inject_elem<F>(elem: Applied<F, Self::Elem>) -> AppliedSum<(A, R), F> where
    F: TyCon, 

fn extract_elem<F>(row: AppliedSum<(A, R), F>) -> Option<Applied<F, Self::Elem>> where
    F: TyCon, 

Loading content...