Trait TypeApp
ferrite_session::functional
pub trait TypeApp<A>: TyCon where A: 'static, { type Applied: Send + 'static; }
type Applied: Send + 'static
impl<A> TypeApp<A> for () where A: 'static,
type Applied = ()
impl<A> TypeApp<A> for IdentityF where A: Send + 'static,
type Applied = Identity<A>
impl<P> TypeApp<P> for ReceiverF where P: Send + 'static,
type Applied = ReceiverOnce<P>
impl<P> TypeApp<P> for SenderF where P: Send + 'static,
type Applied = SenderOnce<P>
impl<T1, T2, A> TypeApp<A> for Merge<T1, T2> where A: 'static, T1: TyCon, T2: TyCon,
type Applied = (App<T1, A>, App<T2, A>)
impl<X, A> TypeApp<A> for Const<X> where A: 'static, X: Send + 'static,
type Applied = X