Trait ferrite_session::internal::base::public::Context

pub trait Context: SealedContext + Send + 'static {
    type Endpoints: Sized + Send;
    type Length: Nat;
}

Associated Types

type Endpoints: Sized + Send

type Length: Nat

Implementations on Foreign Types

impl Context for ()

type Endpoints = ()

type Length = Z

impl<P, R> Context for (P, R) where
    P: Slot,
    R: Context, 

type Endpoints = (P::Endpoint, R::Endpoints)

type Length = S<R::Length>

Implementors