Trait ferrite_session::internal::public::functional::type_app::TypeApp[−][src]

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

Associated Types

type Applied: Send + 'static[src]

Loading content...

Implementations on Foreign Types

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

type Applied = ()

Loading content...

Implementors

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

type Applied = Identity<A>

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

type Applied = ReceiverOnce<P>

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

type Applied = SenderOnce<P>

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

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

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

type Applied = X

Loading content...