Trait ferrite_session::prelude::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 ()

type Applied = ()

Implementors

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

type Applied = A::ClientEndpoint

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

type Applied = A::ProviderEndpoint

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

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