Trait ferrite_session::internal::functional::Prism

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

Associated Types

type Elem

Required methods

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

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

Implementors

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

type Elem = A

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