Skip to main content

OpenApiResultOutput

alux_http_openapi

Struct OpenApiResultOutput 

Source 
pub struct OpenApiResultOutput<Inner, Error>(/* private fields */);
Expand description

Describes both what an endpoint answers with and what its failures answer with.

A failure states its statuses on its type, which is the only place a document can read them: it folds a program rather than running one, so it never holds a failure to ask.

Trait Implementations§

Source§

impl<Inner, Error, Value> OpenApiOutputAlg<Result<Value, Error>> for OpenApiResultOutput<Inner, Error>
where Inner: OpenApiOutputAlg<Value>, Error: HttpErrorAlg,

Source§

fn answers(schema: &JsonSchemaShape) -> Vec<OpenApiAnswer>

Describes every answer this kind states, naming the shapes it mentions along the way.
Source§

impl<Inner, Error, From> OutputAlg<From> for OpenApiResultOutput<Inner, Error>

Source§

type Output = From

The transport value produced from the semantic handler result.
Source§

fn output(from: From) -> From

Converts a handler result into the declared API output.

Auto Trait Implementations§

§

impl<Inner, Error> Freeze for OpenApiResultOutput<Inner, Error>
where PhantomData<fn(Inner, Error)>: Freeze,

§

impl<Inner, Error> RefUnwindSafe for OpenApiResultOutput<Inner, Error>
where PhantomData<fn(Inner, Error)>: RefUnwindSafe,

§

impl<Inner, Error> Send for OpenApiResultOutput<Inner, Error>
where PhantomData<fn(Inner, Error)>: Send,

§

impl<Inner, Error> Sync for OpenApiResultOutput<Inner, Error>
where PhantomData<fn(Inner, Error)>: Sync,

§

impl<Inner, Error> Unpin for OpenApiResultOutput<Inner, Error>
where PhantomData<fn(Inner, Error)>: Unpin,

§

impl<Inner, Error> UnsafeUnpin for OpenApiResultOutput<Inner, Error>
where PhantomData<fn(Inner, Error)>: UnsafeUnpin,

§

impl<Inner, Error> UnwindSafe for OpenApiResultOutput<Inner, Error>
where PhantomData<fn(Inner, Error)>: UnwindSafe,

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<This> ShapeProgramExt<This> for This

Source§

fn compile_shape<Program>( &self, program: Program, ) -> <Program as ShapeProgramAlg<This>>::Ty
where Program: ShapeProgramAlg<This>,

Folds a declaration with this interpretation.

Source§

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

Source§

type Error = !

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

fn try_from(value: U) -> Result<T, !>

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.