Struct TsHttpClient 

pub struct TsHttpClient { /* private fields */ }

Interprets typed HTTP programs as a TypeScript client module.

Nothing is applied and no request is made. Each endpoint is read for what a caller states and what they receive, which is the same program an executing interpretation answers.

Implementations

impl TsHttpClient

pub fn new(members: Spelling) -> Self

Emits a client whose member and parameter names are spelled this way.

Trait Implementations

impl BytesOutAlg for TsHttpClient

type Bytes<From> = TsBytesOutput

The raw-byte converter selected for From.

impl Clone for TsHttpClient

fn clone(&self) -> TsHttpClient

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for TsHttpClient

impl Debug for TsHttpClient

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

Formats the value using the given formatter.

impl EmptyOutAlg for TsHttpClient

type Empty<From> = TsEmptyOutput

The empty converter selected for From.

impl FileOutAlg for TsHttpClient

type File<From> = TsFileOutput

The streamed-file converter selected for From.

impl HandlerAlg for TsHttpClient

type Endpoint = TsCall

The interpreter’s homogeneous endpoint representation.

impl<Context> HandlerContextAlg<Context> for TsHttpClient

where Context: Send + Sync + 'static,

type Handle = Arc<Context>

The owned carrier cloned into asynchronous operation invocations.

impl<Handle, Inputs, Args, Transform, Answering, Output> HandlerEndpointAlg<Handle, Inputs, Args, Transform, Output> for TsHttpClient

where Inputs: TsInputsAlg, Transform: OutputKindAlg<Self, Output, Transform = Answering>, Answering: TsOutputAlg<Output>,

fn finish_handler<Handler>(&self, _handler: Handler) -> TsCall

where Handler: OperationAlg + ApplyAlg<Handle, Args, Output = Output> + Send + Sync + 'static,

Interprets a typed first-order handler as a concrete endpoint.

impl HeaderOutAlg for TsHttpClient

type Header<Inner, Name> = TsHeaderOutput<Inner, Name>

The converter writing Name beside the body Inner states.

impl HtmlOutAlg for TsHttpClient

type Html<From> = TsHtmlOutput

The HTML converter selected for From.

impl HttpInputAlg for TsHttpClient

type Path<I> = TsPathInput<I>

The interpreter’s path extractor for Input.

type Query<I> = TsQueryInput<I>

The interpreter’s query extractor for Input.

type Body<I> = TsBodyInput<I>

The interpreter’s request-body extractor for Input.

type Form<I> = TsFormInput<I>

The interpreter’s form-encoded request-body extractor for Input.

type Multipart<I> = TsMultipartInput<I>

The interpreter’s extractor for Input read from a body arriving as parts.

type RawBody<I> = TsRawBodyInput<I>

The interpreter’s unread request-body extractor for Input.

type Header<I> = TsHeaderInput<I>

The interpreter’s header extractor for Input.

type Cookie<I> = TsCookieInput<I>

The interpreter’s cookie extractor for Input.

type Auth<I> = TsHeaderInput<I>

The interpreter’s authentication extractor for Input.

type Context<I> = TsUnstatedInput<I>

The interpreter’s endpoint-context extractor for Input.

impl HttpSelectorAlg for TsHttpClient

type Selector = TsSelector

The interpreter’s HTTP selector representation.

fn http_method(&self, method: HttpMethod) -> Self::Selector

Interprets a request-method selector.

fn http_path(&self, path: &RoutePath) -> Self::Selector

Interprets an exact path selector.

fn http_prefix(&self, prefix: &RoutePath) -> Self::Selector

Interprets a path-prefix selector.

impl JsonOutAlg for TsHttpClient

type Json<From> = TsJsonOutput

The JSON converter selected for From.

impl RedirectOutAlg for TsHttpClient

type Redirect<From> = TsRedirectOutput

The redirect converter selected for From.

impl ResultOutAlg for TsHttpClient

type Result<Inner, Error> = TsResultOutput<Inner, Error>

The converter answering with Inner on success and with what Error means otherwise.

impl RouteAlg for TsHttpClient

type Route = TsHttpModule

The interpreter’s composed route representation.

type Selector = TsSelector

The selector applied to a route or endpoint.

type Endpoint = TsCall

The homogeneous endpoint representation lifted into routes.

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.

impl SelectorAlg for TsHttpClient

type Selector = TsSelector

The interpreter’s selector representation.

fn identity(&self) -> Self::Selector

Returns the selector identity.

fn compose( &self, first: Self::Selector, second: Self::Selector, ) -> Self::Selector

Composes two selectors from left to right.

impl StatusOutAlg for TsHttpClient

type Status<Inner, const CODE: u16> = TsStatusOutput<Inner, CODE>

The converter answering with CODE and the body Inner states.

impl StreamOutAlg for TsHttpClient

type Stream<From> = TsStreamOutput

The streamed converter selected for From.

impl TextOutAlg for TsHttpClient

type Text<From> = TsTextOutput

The plain-text converter selected for From.