Trait RouteAlg 

pub trait RouteAlg {
    type Route;
    type Selector;
    type Endpoint;

    // Required methods
    fn initial(&self) -> Self::Route;
    fn coproduct(&self, left: Self::Route, right: Self::Route) -> Self::Route;
    fn precompose(
        &self,
        selector: Self::Selector,
        route: Self::Route,
    ) -> Self::Route;
    fn lift(&self, endpoint: Self::Endpoint) -> Self::Route;
}

Describes categorical construction and composition of routes.

Required Associated Types

type Route

The interpreter’s composed route representation.

type Selector

The selector applied to a route or endpoint.

type Endpoint

The homogeneous endpoint representation lifted into routes.

Required Methods

fn initial(&self) -> Self::Route

Returns the initial route.

fn coproduct(&self, left: Self::Route, right: Self::Route) -> Self::Route

Forms the coproduct of two routes.

fn precompose( &self, selector: Self::Selector, route: Self::Route, ) -> Self::Route

Precomposes a route with a selector.

fn lift(&self, endpoint: Self::Endpoint) -> Self::Route

Lifts an endpoint into a route.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors