Trait CompileRouteProgram 

pub trait CompileRouteProgram<Compiler> {
    type Route;

    // Required method
    fn compile_route(self, compiler: &Compiler) -> Self::Route;
}

Compiles a first-order route program with a concrete interpreter.

Required Associated Types

type Route

The route representation produced by Compiler.

Required Methods

fn compile_route(self, compiler: &Compiler) -> Self::Route

Folds the complete first-order program through compiler.

Endpoint construction happens here, after composition has preserved all handler, input, argument, and output-transform types.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<Compiler, Left, Right, Route> CompileRouteProgram<Compiler> for Merge<Left, Right>

where Compiler: RouteAlg<Route = Route>, Left: CompileRouteProgram<Compiler, Route = Route>, Right: CompileRouteProgram<Compiler, Route = Route>,

type Route = Route

impl<Compiler, Method, Handler, Inputs, Args, Transform, Handle> CompileRouteProgram<Compiler> for Endpoint<Method, Handler, Inputs, Args, Transform>

where Compiler: HttpApiAlg + HandlerContextAlg<Handler::Context, Handle = Handle> + HandlerEndpointAlg<Handle, Inputs::Inputs, Args, Transform, Handler::Output>, Method: HttpMethodAlg<Compiler>, Handler: OperationAlg + ApplyAlg<Handle, Args> + Send + Sync + 'static, Inputs: InterpretInputsAlg<Compiler>,

type Route = <Compiler as RouteAlg>::Route

impl<Compiler, Program, Route> CompileRouteProgram<Compiler> for Nest<Program>

where Compiler: HttpRouteAlg<Route = Route>, Program: CompileRouteProgram<Compiler, Route = Route>,

type Route = Route

impl<Compiler, Program> CompileRouteProgram<Compiler> for Named<Program>

where Program: HttpProgramAlg<Compiler>,

type Route = <Program as HttpProgramAlg<Compiler>>::Route

impl<Compiler> CompileRouteProgram<Compiler> for Empty

where Compiler: RouteAlg,

type Route = <Compiler as RouteAlg>::Route