Skip to main content

ServerMechanism

Struct ServerMechanism 

Source
pub struct ServerMechanism { /* private fields */ }
Expand description

Entry point for building an HTTP route.

Pairs an HTTP method with a URL path and acts as the root of a fluent builder chain. Optionally attach shared state, a JSON body expectation, or URL query parameter deserialisation — then finalise with onconnect (async) or onconnect_sync (sync) to produce a SocketType ready to be mounted on a Server.

§Example


// Plain GET — no body, no state
let health = ServerMechanism::get("/health")
    .onconnect(|| async { reply!() });

// POST — JSON body deserialised into `CreateItem`
let create = ServerMechanism::post("/items")
    .json::<CreateItem>()
    .onconnect(|body| async move {
        let item = Item { id: 1, name: body.name };
        reply!(json => item, status => Status::Created)
    });

// GET — shared counter state injected on every request
let counter: Arc<Mutex<u64>> = Arc::new(Mutex::new(0));
let count_route = ServerMechanism::get("/count")
    .state(counter.clone())
    .onconnect(|state| async move {
        let n = *state.lock().unwrap();
        reply!(json => n)
    });

Implementations§

Source§

impl ServerMechanism

Source

pub fn get(path: impl Into<String>) -> Self

Creates a route matching HTTP GET requests at path.

Source

pub fn post(path: impl Into<String>) -> Self

Creates a route matching HTTP POST requests at path.

Source

pub fn put(path: impl Into<String>) -> Self

Creates a route matching HTTP PUT requests at path.

Source

pub fn delete(path: impl Into<String>) -> Self

Creates a route matching HTTP DELETE requests at path.

Source

pub fn patch(path: impl Into<String>) -> Self

Creates a route matching HTTP PATCH requests at path.

Source

pub fn head(path: impl Into<String>) -> Self

Creates a route matching HTTP HEAD requests at path.

Source

pub fn options(path: impl Into<String>) -> Self

Creates a route matching HTTP OPTIONS requests at path.

Source

pub fn state<S: Clone + Send + Sync + 'static>( self, state: S, ) -> StatefulSocketBuilder<S>

Attaches shared state S to this route, transitioning to StatefulSocketBuilder.

A fresh clone of S is injected into the handler on every request.

Source

pub fn json<T: DeserializeOwned + Send>(self) -> JsonSocketBuilder<T>

Declares that this route expects a JSON-encoded request body, transitioning to JsonSocketBuilder.

Source

pub fn query<T: DeserializeOwned + Send>(self) -> QuerySocketBuilder<T>

Declares that this route extracts its input from URL query parameters, transitioning to QuerySocketBuilder.

Source

pub fn encryption<T>(self, key: SerializationKey) -> EncryptedBodyBuilder<T>

Declares that this route expects an authenticated-encrypted request body (ChaCha20-Poly1305), transitioning to EncryptedBodyBuilder.

Source

pub fn encrypted_query<T>( self, key: SerializationKey, ) -> EncryptedQueryBuilder<T>

Declares that this route expects authenticated-encrypted URL query parameters (ChaCha20-Poly1305), transitioning to EncryptedQueryBuilder.

Source

pub fn onconnect<F, Fut, Re>(self, handler: F) -> SocketType
where F: Fn() -> Fut + Clone + Send + Sync + 'static, Fut: Future<Output = Result<Re, Rejection>> + Send, Re: Reply + Send,

Finalises this route with an async handler that receives no arguments.

Returns a SocketType ready to be passed to Server::mechanism.

§Example

let route = ServerMechanism::get("/ping")
    .onconnect(|| async {
        reply!(json => Pong { ok: true })
    });
Source

pub unsafe fn onconnect_sync<F, Re>(self, handler: F) -> SocketType
where F: Fn() -> Result<Re, Rejection> + Clone + Send + Sync + 'static, Re: Reply + Send + 'static,

Finalises this route with a synchronous handler that receives no arguments.

§Safety

Every incoming request spawns an independent task on Tokio’s blocking thread pool. The pool caps the number of live OS threads (default 512), but the queue of waiting tasks is unbounded — under a traffic surge, tasks accumulate without limit, consuming unbounded memory and causing severe latency spikes or OOM crashes. Additionally, any panic inside the handler is silently converted into a 500 response, masking runtime errors. Callers must ensure the handler completes quickly and that adequate backpressure or rate limiting is applied externally.

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<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
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.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more