Function ferrite_session::prelude::offer_choice [−][src]
pub fn offer_choice<C, Row, SessionSum, InjectSessionSum>(
cont1: impl FnOnce(InjectSessionSum) -> SessionSum + Send + 'static
) -> PartialSession<C, ExternalChoice<Row>> where
C: Context,
Row: RowCon,
Row: ElimSum,
Row: SplitRow,
Row: SumFunctor,
Row: SumFunctorInject,
Row: SumApp<SessionF<C>, Applied = SessionSum>,
Row: FlattenSumApp<InjectSessionF<Row, C>, FlattenApplied = InjectSessionSum>,
SessionSum: Send + 'static,
InjectSessionSum: Send + 'static,