Trait dialectic::types::Environment

pub trait Environment: Any {
    type Depth: Unary;
}

A valid session environment is a type-level list of session types, each of which may refer by Continue index to any other session in the list which is below or including itself.

Associated Types

type Depth: Unary

The depth of a session environment is the number of loops to which a Continue could jump, i.e. the number of session types in the session environment.

Loading content...

Implementations on Foreign Types

impl Environment for ()

type Depth = Z

impl<P, Rest> Environment for (P, Rest) where
    P: Scoped<S<Rest::Depth>>,
    Rest: Environment, 

type Depth = S<Rest::Depth>

Loading content...

Implementors

Loading content...