Trait cut::Context

pub trait Context: 'static + SealedContext + Send {
    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 as Slot>::Endpoint, <R as Context>::Endpoints)

type Length = S<<R as Context>::Length>

Implementors