Skip to main content

HttpProgramBuilder

Struct HttpProgramBuilder 

Source
pub struct HttpProgramBuilder;
Expand description

Constructs neutral HTTP route programs.

Implementations§

Source§

impl HttpProgramBuilder

Source

pub fn routes(&self) -> RouteProgram<Empty>

Starts an empty, uninterpreted route program.

Subsequent calls record route syntax without requiring any concrete framework capabilities.

Source

pub fn op<Handler>(&self, handler: Handler) -> Operation<Handler>

Wraps a first-order handler operation in a neutral declaration.

Input roles and an output kind can then be attached while the handler’s result type remains inferred through ApplyAlg.

Source

pub fn program<Program>(&self, program: Program) -> RouteProgram<Named<Program>>

Includes a named HTTP program as an uninterpreted composition node.

The named program is compiled by the same interpreter as its enclosing route program when the complete tree is folded.

Trait Implementations§

Source§

impl Debug for HttpProgramBuilder

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for HttpProgramBuilder

Source§

fn default() -> HttpProgramBuilder

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<This> HttpProgramExt<This> for This

Source§

fn compile_http<Program>( &self, program: Program, ) -> <Program as HttpProgramAlg<This>>::Route
where Program: HttpProgramAlg<This>,

Compiles a named HTTP program with this interpreter.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.