Trait ferrite_session::internal::functional::public::Prism

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

Associated Types

type Elem

Required methods

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

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

Implementors

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

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