Trait TypeApp
Other items inferrite_session::prelude
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,
impl<P> TypeApp<P> for ReceiverF where P: Send + 'static,
impl<P> TypeApp<P> for SenderF where P: Send + 'static,
impl<T1, T2, A> TypeApp<A> for Merge<T1, T2> where A: 'static, T1: TyCon, T2: TyCon,
impl<X, A> TypeApp<A> for Const<X> where A: 'static, X: Send + 'static,