Trait ferrite_session::internal::public::functional::TypeApp

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

Associated Types

type Applied: Send + 'static

Implementations on Foreign Types

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

type Applied = ()

Implementors

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,