[−][src]Crate ferrite_session
Re-exports
pub use EitherChoice::Left; |
pub use EitherChoice::Right; |
Modules
| base | |
| identity | |
| macros | |
| nat | |
| row | |
| type_app |
Macros
Structs
Enums
| AllLeft | |
| AllRight | |
| Bottom | |
| EitherChoice | |
| L | |
| R | |
| Sum |
Constants
| LeftLabel | |
| RightLabel |
Traits
| AppendContext | |
| Applicative | |
| Context | A list of context for input. It has multiple implementations including crate::base::Context. |
| ContextLens | |
| Cut | |
| ElimField | |
| ElimSum | |
| EmptyContext | An ordered linked list of context. |
| ExtractRow | |
| Functor | |
| HasRecApp | |
| HasRow | |
| HasRowWitness | |
| HasTypeApp | |
| InjectLift | |
| IntersectSum | |
| Monad | |
| Nat | |
| NaturalTransformation | |
| Prism | |
| Protocol | |
| RecApp | |
| Reversible | |
| RowApp | |
| RowCon | |
| RowWitnessCont | |
| RunCont | |
| SharedProtocol | |
| Slot | |
| SplitRow | |
| SumFunctor | |
| SumFunctorInject | |
| TyCon | |
| TypeApp | |
| TypeAppCont | |
| TypeAppGeneric | |
| TypeAppWitness | |
| TypeAppWitnessCont | |
| UncloakRow | |
| Wrapper |
Functions
Type Definitions
| Either | |
| EitherRow | |
| Session | A session builder is a consumer for the given list of input context and output a protocol with given Out type. |