Trait ferrite_session::functional::Prism [−][src]
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<A, R> Prism<(A, R)> for ChoiceSelector<Z> where
A: Send + 'static,
R: RowCon,
[src]
A: Send + 'static,
R: RowCon,
type Elem = A
fn inject_elem<F>(t: App<F, A>) -> AppSum<(A, R), F> where
F: TyCon,
[src]
F: TyCon,
fn extract_elem<F>(row: AppSum<(A, R), F>) -> Option<App<F, A>> where
F: TyCon,
[src]
F: TyCon,
impl<N, A, R> Prism<(A, R)> for ChoiceSelector<S<N>> where
R: RowCon,
A: Send + 'static,
ChoiceSelector<N>: Prism<R>,
[src]
R: RowCon,
A: Send + 'static,
ChoiceSelector<N>: Prism<R>,