Trait ferrite_session::internal::public::prelude::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; }