[−][src]Trait ferrite_session::TypeApp

pub trait TypeApp<A>: TyCon where
    A: 'static, {
    type Applied: Send + 'static;
}

Associated Types

type Applied: Send + 'static

Loading content...

Implementations on Foreign Types

impl<A> TypeApp<A> for () where
    A: 'static, [src]

type Applied = ()

Loading content...

Implementors

impl<P> TypeApp<P> for ReceiverF where
    P: Send + 'static, [src]

type Applied = Receiver<P>

impl<P> TypeApp<P> for SenderF where
    P: Send + 'static, [src]

type Applied = Sender<P>

impl<T1, T2, A> TypeApp<A> for Merge<T1, T2> where
    A: 'static,
    T1: TyCon,
    T2: TyCon, [src]

type Applied = (Applied<T1, A>, Applied<T2, A>)

impl<X, A> TypeApp<A> for Const<X> where
    A: 'static,
    X: Send + 'static, [src]

type Applied = X

Loading content...