Trait ntex::Service

source ·
pub trait Service<Req> {
    type Response;
    type Error;
    type Future<'f>: Future<Output = Result<Self::Response, Self::Error>>
       where Req: 'f,
             Self: 'f;

    // Required method
    fn call(&self, req: Req) -> Self::Future<'_>;

    // Provided methods
    fn poll_ready(&self, cx: &mut Context<'_>) -> Poll<Result<(), Self::Error>> { ... }
    fn poll_shutdown(&self, cx: &mut Context<'_>) -> Poll<()> { ... }
    fn map<F, Res>(self, f: F) -> Map<Self, F, Req, Res>
       where Self: Sized,
             F: Fn(Self::Response) -> Res { ... }
    fn map_err<F, E>(self, f: F) -> MapErr<Self, Req, F, E>
       where Self: Sized,
             F: Fn(Self::Error) -> E { ... }
}
Expand description

An asynchronous function of Request to a Response.

The Service trait represents a request/response interaction, receiving requests and returning replies. You can think about service as a function with one argument that returns some result asynchronously. Conceptually, the operation looks like this:

async fn(Request) -> Result<Response, Error>

The Service trait just generalizes this form. Requests are defined as a generic type parameter and responses and other details are defined as associated types on the trait impl. Notice that this design means that services can receive many request types and converge them to a single response type.

Services can also have mutable state that influence computation by using a Cell, RefCell or Mutex. Services intentionally do not take &mut self to reduce overhead in the common cases.

Service provides a symmetric and uniform API; the same abstractions can be used to represent both clients and servers. Services describe only transformation operations which encourage simple API surfaces. This leads to simpler design of each service, improves test-ability and makes composition easier.


struct MyService;

impl Service<u8> for MyService {
    type Response = u64;
    type Error = Infallible;
    type Future<'f> = Pin<Box<dyn Future<Output = Result<Self::Response, Self::Error>>>>;

    fn call(&self, req: u8) -> Self::Future<'_> {
        Box::pin(std::future::ready(Ok(req as u64)))
    }
}

Sometimes it is not necessary to implement the Service trait. For example, the above service could be rewritten as a simple function and passed to fn_service.

async fn my_service(req: u8) -> Result<u64, Infallible>;

Required Associated Types§

source

type Response

Responses given by the service.

source

type Error

Errors produced by the service when polling readiness or executing call.

source

type Future<'f>: Future<Output = Result<Self::Response, Self::Error>> where Req: 'f, Self: 'f

The future response value.

Required Methods§

source

fn call(&self, req: Req) -> Self::Future<'_>

Process the request and return the response asynchronously.

This function is expected to be callable off-task. As such, implementations of call should take care to not call poll_ready. If the service is at capacity and the request is unable to be handled, the returned Future should resolve to an error.

Invoking call without first invoking poll_ready is permitted. Implementations must be resilient to this fact.

Provided Methods§

source

fn poll_ready(&self, cx: &mut Context<'_>) -> Poll<Result<(), Self::Error>>

Returns Ready when the service is able to process requests.

If the service is at capacity, then Pending is returned and the task is notified when the service becomes ready again. This function is expected to be called while on a task.

This is a best effort implementation. False positives are permitted. It is permitted for the service to return Ready from a poll_ready call and the next invocation of call results in an error.

Notes
  1. .poll_ready() might be called on different task from actual service call.
  2. In case of chained services, .poll_ready() is called for all services at once.
source

fn poll_shutdown(&self, cx: &mut Context<'_>) -> Poll<()>

Shutdown service.

Returns Ready when the service is properly shutdowns. This method might be called after it returns Ready.

source

fn map<F, Res>(self, f: F) -> Map<Self, F, Req, Res>where Self: Sized, F: Fn(Self::Response) -> Res,

Map this service’s output to a different type, returning a new service of the resulting type.

This function is similar to the Option::map or Iterator::map where it will change the type of the underlying service.

Note that this function consumes the receiving service and returns a wrapped version of it, similar to the existing map methods in the standard library.

source

fn map_err<F, E>(self, f: F) -> MapErr<Self, Req, F, E>where Self: Sized, F: Fn(Self::Error) -> E,

Map this service’s error to a different error, returning a new service.

This function is similar to the Result::map_err where it will change the error type of the underlying service. This is useful for example to ensure that services have the same error type.

Note that this function consumes the receiving service and returns a wrapped version of it.

Implementations on Foreign Types§

source§

impl<'a, S, Req> Service<Req> for &'a Swhere S: Service<Req> + ?Sized,

§

type Response = <S as Service<Req>>::Response

§

type Error = <S as Service<Req>>::Error

§

type Future = <S as Service<Req>>::Future<'f>

source§

fn poll_ready( &self, cx: &mut Context<'_> ) -> Poll<Result<(), <S as Service<Req>>::Error>>

source§

fn poll_shutdown(&self, cx: &mut Context<'_>) -> Poll<()>

source§

fn call(&self, request: Req) -> <S as Service<Req>>::Future<'_>

source§

impl<S, Req> Service<Req> for Box<S, Global>where S: Service<Req> + ?Sized,

§

type Response = <S as Service<Req>>::Response

§

type Error = <S as Service<Req>>::Error

§

type Future = <S as Service<Req>>::Future<'f>

source§

fn poll_ready( &self, cx: &mut Context<'_> ) -> Poll<Result<(), <S as Service<Req>>::Error>>

source§

fn poll_shutdown(&self, cx: &mut Context<'_>) -> Poll<()>

source§

fn call(&self, request: Req) -> <S as Service<Req>>::Future<'_>

source§

impl<S, Req> Service<Req> for Rc<S>where S: Service<Req> + ?Sized,

§

type Response = <S as Service<Req>>::Response

§

type Error = <S as Service<Req>>::Error

§

type Future = <S as Service<Req>>::Future<'f>

source§

fn poll_ready( &self, cx: &mut Context<'_> ) -> Poll<Result<(), <Rc<S> as Service<Req>>::Error>>

source§

fn poll_shutdown(&self, cx: &mut Context<'_>) -> Poll<()>

source§

fn call(&self, request: Req) -> <S as Service<Req>>::Future<'_>

source§

impl<Ctl, Pub> Service<IoBoxed> for ServerHandler<Ctl, Pub>where Ctl: ServiceFactory<ControlMessage<<Pub as ServiceFactory<Message, ()>>::Error>, (), Response = ControlResult> + 'static, <Ctl as ServiceFactory<ControlMessage<<Pub as ServiceFactory<Message, ()>>::Error>, ()>>::Error: Debug, <Ctl as ServiceFactory<ControlMessage<<Pub as ServiceFactory<Message, ()>>::Error>, ()>>::InitError: Debug, Pub: ServiceFactory<Message, (), Response = ()> + 'static, <Pub as ServiceFactory<Message, ()>>::Error: Debug, <Pub as ServiceFactory<Message, ()>>::InitError: Debug,

§

type Response = ()

§

type Error = ServerError<()>

§

type Future = Pin<Box<dyn Future<Output = Result<<ServerHandler<Ctl, Pub> as Service<IoBoxed>>::Response, <ServerHandler<Ctl, Pub> as Service<IoBoxed>>::Error>> + 'f, Global>>

source§

fn call( &self, io: IoBoxed ) -> <ServerHandler<Ctl, Pub> as Service<IoBoxed>>::Future<'_>

source§

impl<F, Ctl, Pub> Service<Io<F>> for ServerHandler<Ctl, Pub>where F: Filter, Ctl: ServiceFactory<ControlMessage<<Pub as ServiceFactory<Message, ()>>::Error>, (), Response = ControlResult> + 'static, <Ctl as ServiceFactory<ControlMessage<<Pub as ServiceFactory<Message, ()>>::Error>, ()>>::Error: Debug, <Ctl as ServiceFactory<ControlMessage<<Pub as ServiceFactory<Message, ()>>::Error>, ()>>::InitError: Debug, Pub: ServiceFactory<Message, (), Response = ()> + 'static, <Pub as ServiceFactory<Message, ()>>::Error: Debug, <Pub as ServiceFactory<Message, ()>>::InitError: Debug,

§

type Response = ()

§

type Error = ServerError<()>

§

type Future = Pin<Box<dyn Future<Output = Result<<ServerHandler<Ctl, Pub> as Service<Io<F>>>::Response, <ServerHandler<Ctl, Pub> as Service<Io<F>>>::Error>> + 'f, Global>>

source§

fn call( &self, req: Io<F> ) -> <ServerHandler<Ctl, Pub> as Service<Io<F>>>::Future<'_>

Implementors§

source§

impl Service<Request> for ExpectHandler

source§

impl<A, B, R> Service<R> for Then<A, B>where A: Service<R>, B: Service<Result<<A as Service<R>>::Response, <A as Service<R>>::Error>, Error = <A as Service<R>>::Error>,

§

type Response = <B as Service<Result<<A as Service<R>>::Response, <A as Service<R>>::Error>>>::Response

§

type Error = <B as Service<Result<<A as Service<R>>::Response, <A as Service<R>>::Error>>>::Error

§

type Future = ThenServiceResponse<'f, A, B, R>

source§

impl<A, B, Req> Service<Req> for AndThen<A, B>where A: Service<Req>, B: Service<<A as Service<Req>>::Response, Error = <A as Service<Req>>::Error>,

§

type Response = <B as Service<<A as Service<Req>>::Response>>::Response

§

type Error = <A as Service<Req>>::Error

§

type Future = AndThenServiceResponse<'f, A, B, Req>

source§

impl<A, F, Req, Res> Service<Req> for Map<A, F, Req, Res>where A: Service<Req>, F: Fn(<A as Service<Req>>::Response) -> Res,

§

type Response = Res

§

type Error = <A as Service<Req>>::Error

§

type Future = MapFuture<'f, A, F, Req, Res>

source§

impl<A, R, F, E> Service<R> for MapErr<A, R, F, E>where A: Service<R>, F: Fn(<A as Service<R>>::Error) -> E,

§

type Response = <A as Service<R>>::Response

§

type Error = E

§

type Future = MapErrFuture<'f, A, R, F, E>

source§

impl<F> Service<(Request, Io<F>, Codec)> for UpgradeHandler<F>

§

type Response = ()

§

type Error = Error

§

type Future<'f> where F: 'f = Ready<<UpgradeHandler<F> as Service<(Request, Io<F>, Codec)>>::Response, <UpgradeHandler<F> as Service<(Request, Io<F>, Codec)>>::Error>

source§

impl<F> Service<Io<F>> for ntex::tls::openssl::AcceptorService<F>where F: Filter,

§

type Response = Io<Layer<SslFilter, F>>

§

type Error = Box<dyn Error + 'static, Global>

§

type Future = AcceptorServiceResponse<F>

source§

impl<F> Service<Io<F>> for ntex::tls::rustls::AcceptorService<F>where F: Filter,

§

type Response = Io<Layer<TlsFilter, F>>

§

type Error = Error

§

type Future = AcceptorServiceFut<F>

source§

impl<F, Fut, Req, Res, Err> Service<Req> for FnService<F, Req>where F: Fn(Req) -> Fut, Fut: Future<Output = Result<Res, Err>>,

§

type Response = Res

§

type Error = Err

§

type Future = Fut

source§

impl<F, Fut, Req, Res, Err> Service<Req> for FnServiceFactory<F, Fut, Req, Res, Err, ()>where F: Fn(Req) -> Fut, Fut: Future<Output = Result<Res, Err>>,

§

type Response = Res

§

type Error = Err

§

type Future = Fut

source§

impl<F, S, B, X, U> Service<Io<F>> for H1ServiceHandler<F, S, B, X, U>where F: Filter, S: Service<Request> + 'static, S::Error: ResponseError, S::Response: Into<Response<B>>, B: MessageBody, X: Service<Request, Response = Request> + 'static, X::Error: ResponseError, U: Service<(Request, Io<F>, Codec), Response = ()> + 'static, U::Error: Display + Error,

§

type Response = ()

§

type Error = DispatchError

§

type Future<'f> = Dispatcher<F, S, B, X, U>

source§

impl<R, E, F> Service<R> for KeepAliveService<R, E, F>where F: Fn() -> E,

§

type Response = R

§

type Error = E

§

type Future = Ready<R, E>

source§

impl<R, S, E> Service<R> for BufferService<R, S, E>where S: Service<R, Error = E>,

§

type Response = <S as Service<R>>::Response

§

type Error = <S as Service<R>>::Error

§

type Future = Either<<S as Service<R>>::Future<'f>, BufferServiceResponse<'f, R, S, E>>

source§

impl<Req, Err, F> Service<Req> for FnShutdown<Req, Err, F>where F: FnOnce(),

§

type Response = Req

§

type Error = Err

§

type Future = Ready<Result<Req, Err>>

source§

impl<Req, Res, Err> Service<Req> for BoxService<Req, Res, Err>where Req: 'static,

§

type Response = Res

§

type Error = Err

§

type Future = Pin<Box<dyn Future<Output = Result<Res, Err>> + 'f, Global>>

source§

impl<Req, Res, Err> Service<Req> for RcService<Req, Res, Err>where Req: 'static,

§

type Response = Res

§

type Error = Err

§

type Future = Pin<Box<dyn Future<Output = Result<Res, Err>> + 'f, Global>>

source§

impl<Req, Svc> Service<Req> for Pipeline<Req, Svc>where Svc: Service<Req>,

§

type Response = <Svc as Service<Req>>::Response

§

type Error = <Svc as Service<Req>>::Error

§

type Future = <Svc as Service<Req>>::Future<'f>

source§

impl<S, R> Service<R> for TimeoutService<S>where S: Service<R>,

§

type Response = <S as Service<R>>::Response

§

type Error = TimeoutError<<S as Service<R>>::Error>

§

type Future = Either<TimeoutServiceResponse<'f, S, R>, TimeoutServiceResponse2<'f, S, R>>

source§

impl<T> Service<Connect<T>> for ntex::connect::openssl::Connector<T>where T: Address,

source§

impl<T> Service<Connect<T>> for ntex::connect::rustls::Connector<T>where T: Address,

source§

impl<T> Service<Connect<T>> for ntex::connect::Connector<T>where T: Address,

§

type Response = Io<Base>

§

type Error = ConnectError

§

type Future = ConnectServiceResponse<'f, T>

source§

impl<T> Service<Connect<T>> for Resolver<T>where T: Address,

§

type Response = Connect<T>

§

type Error = ConnectError

§

type Future = Pin<Box<dyn Future<Output = Result<Connect<T>, <Resolver<T> as Service<Connect<T>>>::Error>> + 'f, Global>>

source§

impl<T, R> Service<R> for InFlightService<T>where T: Service<R>,

§

type Response = <T as Service<R>>::Response

§

type Error = <T as Service<R>>::Error

§

type Future = InFlightServiceResponse<'f, T, R>

source§

impl<T, Req, F, R, In, Out, Err> Service<In> for Apply<T, Req, F, R, In, Out, Err>where T: Service<Req, Error = Err>, F: Fn(In, Rc<T>) -> R, R: Future<Output = Result<Out, Err>>,

§

type Response = Out

§

type Error = Err

§

type Future = R

source§

impl<V1, V2, V1R, V2R> Service<Variant2<V1R, V2R>> for VariantService2<V1, V2, V1R, V2R>where V1: Service<V1R>, V2: Service<V2R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>,

§

type Response = <V1 as Service<V1R>>::Response

§

type Error = <V1 as Service<V1R>>::Error

§

type Future = ServiceResponse<<V1 as Service<V1R>>::Future<'f>, <V2 as Service<V2R>>::Future<'f>>

source§

impl<V1, V2, V3, V1R, V2R, V3R> Service<Variant3<V1R, V2R, V3R>> for VariantService3<V1, V2, V3, V1R, V2R, V3R>where V1: Service<V1R>, V2: Service<V2R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V3: Service<V3R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>,

§

type Response = <V1 as Service<V1R>>::Response

§

type Error = <V1 as Service<V1R>>::Error

§

type Future = ServiceResponse<<V1 as Service<V1R>>::Future<'f>, <V2 as Service<V2R>>::Future<'f>, <V3 as Service<V3R>>::Future<'f>>

source§

impl<V1, V2, V3, V4, V1R, V2R, V3R, V4R> Service<Variant4<V1R, V2R, V3R, V4R>> for VariantService4<V1, V2, V3, V4, V1R, V2R, V3R, V4R>where V1: Service<V1R>, V2: Service<V2R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V3: Service<V3R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V4: Service<V4R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>,

§

type Response = <V1 as Service<V1R>>::Response

§

type Error = <V1 as Service<V1R>>::Error

§

type Future = ServiceResponse<<V1 as Service<V1R>>::Future<'f>, <V2 as Service<V2R>>::Future<'f>, <V3 as Service<V3R>>::Future<'f>, <V4 as Service<V4R>>::Future<'f>>

source§

impl<V1, V2, V3, V4, V5, V1R, V2R, V3R, V4R, V5R> Service<Variant5<V1R, V2R, V3R, V4R, V5R>> for VariantService5<V1, V2, V3, V4, V5, V1R, V2R, V3R, V4R, V5R>where V1: Service<V1R>, V2: Service<V2R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V3: Service<V3R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V4: Service<V4R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V5: Service<V5R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>,

§

type Response = <V1 as Service<V1R>>::Response

§

type Error = <V1 as Service<V1R>>::Error

§

type Future = ServiceResponse<<V1 as Service<V1R>>::Future<'f>, <V2 as Service<V2R>>::Future<'f>, <V3 as Service<V3R>>::Future<'f>, <V4 as Service<V4R>>::Future<'f>, <V5 as Service<V5R>>::Future<'f>>

source§

impl<V1, V2, V3, V4, V5, V6, V1R, V2R, V3R, V4R, V5R, V6R> Service<Variant6<V1R, V2R, V3R, V4R, V5R, V6R>> for VariantService6<V1, V2, V3, V4, V5, V6, V1R, V2R, V3R, V4R, V5R, V6R>where V1: Service<V1R>, V2: Service<V2R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V3: Service<V3R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V4: Service<V4R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V5: Service<V5R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V6: Service<V6R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>,

§

type Response = <V1 as Service<V1R>>::Response

§

type Error = <V1 as Service<V1R>>::Error

§

type Future = ServiceResponse<<V1 as Service<V1R>>::Future<'f>, <V2 as Service<V2R>>::Future<'f>, <V3 as Service<V3R>>::Future<'f>, <V4 as Service<V4R>>::Future<'f>, <V5 as Service<V5R>>::Future<'f>, <V6 as Service<V6R>>::Future<'f>>

source§

impl<V1, V2, V3, V4, V5, V6, V7, V1R, V2R, V3R, V4R, V5R, V6R, V7R> Service<Variant7<V1R, V2R, V3R, V4R, V5R, V6R, V7R>> for VariantService7<V1, V2, V3, V4, V5, V6, V7, V1R, V2R, V3R, V4R, V5R, V6R, V7R>where V1: Service<V1R>, V2: Service<V2R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V3: Service<V3R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V4: Service<V4R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V5: Service<V5R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V6: Service<V6R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V7: Service<V7R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>,

§

type Response = <V1 as Service<V1R>>::Response

§

type Error = <V1 as Service<V1R>>::Error

§

type Future = ServiceResponse<<V1 as Service<V1R>>::Future<'f>, <V2 as Service<V2R>>::Future<'f>, <V3 as Service<V3R>>::Future<'f>, <V4 as Service<V4R>>::Future<'f>, <V5 as Service<V5R>>::Future<'f>, <V6 as Service<V6R>>::Future<'f>, <V7 as Service<V7R>>::Future<'f>>

source§

impl<V1, V2, V3, V4, V5, V6, V7, V8, V1R, V2R, V3R, V4R, V5R, V6R, V7R, V8R> Service<Variant8<V1R, V2R, V3R, V4R, V5R, V6R, V7R, V8R>> for VariantService8<V1, V2, V3, V4, V5, V6, V7, V8, V1R, V2R, V3R, V4R, V5R, V6R, V7R, V8R>where V1: Service<V1R>, V2: Service<V2R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V3: Service<V3R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V4: Service<V4R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V5: Service<V5R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V6: Service<V6R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V7: Service<V7R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>, V8: Service<V8R, Response = <V1 as Service<V1R>>::Response, Error = <V1 as Service<V1R>>::Error>,

§

type Response = <V1 as Service<V1R>>::Response

§

type Error = <V1 as Service<V1R>>::Error

§

type Future = ServiceResponse<<V1 as Service<V1R>>::Future<'f>, <V2 as Service<V2R>>::Future<'f>, <V3 as Service<V3R>>::Future<'f>, <V4 as Service<V4R>>::Future<'f>, <V5 as Service<V5R>>::Future<'f>, <V6 as Service<V6R>>::Future<'f>, <V7 as Service<V7R>>::Future<'f>, <V8 as Service<V8R>>::Future<'f>>