[−][src]Trait ferrite_session::Prism
Associated Types
type Elem
Required methods
fn inject_elem<F>(elem: Applied<F, Self::Elem>) -> AppliedSum<Row, F> where
F: TyCon,
F: TyCon,
fn extract_elem<F>(row: AppliedSum<Row, F>) -> Option<Applied<F, Self::Elem>> where
F: TyCon,
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: Applied<F, A>) -> AppliedSum<(A, R), F> where
F: TyCon,
[src]
F: TyCon,
fn extract_elem<F>(row: AppliedSum<(A, R), F>) -> Option<Applied<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>,
type Elem = <ChoiceSelector<N> as Prism<R>>::Elem
fn inject_elem<F>(elem: Applied<F, Self::Elem>) -> AppliedSum<(A, R), F> where
F: TyCon,
[src]
F: TyCon,
fn extract_elem<F>(row: AppliedSum<(A, R), F>) -> Option<Applied<F, Self::Elem>> where
F: TyCon,
[src]
F: TyCon,