Trait ferrite_session::internal::functional::row::Prism [−][src]
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
Loading content...Required methods
fn inject_elem<F>(elem: App<F, Self::Elem>) -> AppSum<Row, F> where
F: TyCon,
[src]
F: TyCon,
fn extract_elem<F>(row: AppSum<Row, F>) -> Option<App<F, Self::Elem>> where
F: TyCon,
[src]
F: TyCon,
Implementors
impl<N, A, R> Prism<(A, R)> for ChoiceSelector<S<N>> where
R: RowCon,
A: Send + 'static,
ChoiceSelector<N>: Prism<R>,
[src]
impl<N, A, R> Prism<(A, R)> for ChoiceSelector<S<N>> where
R: RowCon,
A: Send + 'static,
ChoiceSelector<N>: Prism<R>,
[src]