Trait ferrite_session::internal::base::Context[−][src]

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

Associated Types

type Endpoints: Sized + Send

type Length: Nat

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>