Trait cut::TypeApp

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

Associated Types

type Applied: Sized + Send

Implementations on Foreign Types

impl<'a, A> TypeApp<'a, A> for ClientEndpointF where
    A: Protocol, 

type Applied = <A as Protocol>::ClientEndpoint

impl<'a, A> TypeApp<'a, A> for ()

type Applied = ()

impl<'a, A> TypeApp<'a, A> for ProviderEndpointF where
    A: Protocol, 

type Applied = <A as Protocol>::ProviderEndpoint

Implementors

impl<'r, 'a, Row, C, A> TypeApp<'a, A> for InjectSessionF<'r, Row, C> where
    C: Context,
    A: 'r,
    Row: Send, 

type Applied = InjectSession<'r, Row, C, A>