zio.http

Holds Body that needs to be written on the HttpChannel

An immutable and type-safe representation of one or more netty channels. A represents the type of messages that can be written on the channel.

Immutable and type-safe representation of events that are triggered on a netty channel. A represents the inbound message type and B represents the outbound message type that's allowed on the channel.

Path is an immutable representation of a urls path. Internally it stores each element of a path in a sequence of Segment. This allows for powerful compositional APIs.

IsMono is a type-constraint that is used by the middleware api for allowing some operators only when the following condition is met.

Condition: Since a middleware takes in an Http and returns a new Http, IsMono, makes sure that the type parameters of the incoming Http and the ones for the outgoing Http is the same.

For Eg: IsMono will be defined for a middleware that looks as follows

val mid: Middleware[Any, Nothing, Request, Response, Request, Response]

This is because both the middleware is defined from (Request, Response) => (Request, Response). Consider another example:

val mid: Middleware[Any, Nothing, Request, Response, UserRequest, UserResponse]

In this case, the incoming and outgoing types are different viz. (Request, Response) => (UserRequest, UserResponse), hence there is no IsMono defined for such middlewares.

Models the set of operations that one would want to apply on a Response.

Represents the connection to the forward proxy before running the request

Instead of using just String as path params, using the RouteDecoderModule we can extract and converted params into a specific type also.

Http.collect[Request] {
 case GET -> !! / "user" / int(id) => Response.text("User id requested: ${id}")
 case GET -> !! / "user" / name    => Response.text("User name requested: ${name}")
}

If the request looks like GET /user/100 then it would match the first case. This is because internally the id param can be decoded into an Int. If a request of the form GET /user/zio is made, in that case the second case is matched.

A ZClientAspect is capable on modifying some aspect of the execution of a client, such as metrics, tracing, encoding, decoding, or logging.