HttpCodec

zio.http.api.HttpCodec
See theHttpCodec companion object
sealed trait HttpCodec[-AtomTypes, Value]

A zio.http.api.HttpCodec represents a codec for a part of an HTTP request. HttpCodec the HTTP protocol, these parts may be the unconsumed portion of the HTTP path (a route codec), the query string parameters (a query codec), the request headers (a header codec), or the request body (a body codec).

A HttpCodec is a purely declarative description of an input, and therefore, it can be used to generate documentation, clients, and client libraries.

HttpCodecs are a bit like invertible multi-channel parsers.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
HttpCodec[AtomTypes, Value]

Members list

Concise view

Value members

Concrete methods

final def &[Value2](that: QueryCodec[Value2])(implicit combiner: Combiner[Value, Value2], ev: Query <:< AtomTypes): QueryCodec[Out]

Combines two query codecs into another query codec.

Combines two query codecs into another query codec.

Attributes

final def ++[AtomTypes1 <: AtomTypes, Value2](that: HttpCodec[AtomTypes1, Value2])(implicit combiner: Combiner[Value, Value2]): HttpCodec[AtomTypes1, Out]

Returns a new codec that is the composition of this codec and the specified codec. For codecs that include route codecs, the routes will be decoded sequentially from left to right.

Returns a new codec that is the composition of this codec and the specified codec. For codecs that include route codecs, the routes will be decoded sequentially from left to right.

Attributes

final def /[Value2](that: RouteCodec[Value2])(implicit combiner: Combiner[Value, Value2], ev: Route <:< AtomTypes): RouteCodec[Out]

Combines two route codecs into another route codec.

Combines two route codecs into another route codec.

Attributes

final def ??(doc: Doc): HttpCodec[AtomTypes, Value]

Returns a new codec that is the same as this one, but has attached docs, which will render whenever docs are generated from the codec.

Returns a new codec that is the same as this one, but has attached docs, which will render whenever docs are generated from the codec.

Attributes

final def alternatives: Chunk[HttpCodec[AtomTypes, Value]]

Produces a flattened collection of alternatives. Once flattened, each codec inside the returned collection is guaranteed to contain no nested alternatives.

Produces a flattened collection of alternatives. Once flattened, each codec inside the returned collection is guaranteed to contain no nested alternatives.

Attributes

final def asQuery(implicit ev: Query <:< AtomTypes): QueryCodec[Value]

Reinterprets this codec as a query codec assuming evidence that this interpretation is sound.

Reinterprets this codec as a query codec assuming evidence that this interpretation is sound.

Attributes

final def asRoute(implicit ev: Route <:< AtomTypes): RouteCodec[Value]

Reinterpets this codec as a route codec assuming evidence that this interpretation is sound.

Reinterpets this codec as a route codec assuming evidence that this interpretation is sound.

Attributes

final def decodeRequest(request: Request)(implicit trace: Trace): Task[Value]

Uses this codec to decode the Scala value from a request.

Uses this codec to decode the Scala value from a request.

Attributes

final def decodeResponse(response: Response)(implicit trace: Trace): Task[Value]

Uses this codec to decode the Scala value from a response.

Uses this codec to decode the Scala value from a response.

Attributes

final def encodeRequest(value: Value): Request

Uses this codec to encode the Scala value into a request.

Uses this codec to encode the Scala value into a request.

Attributes

final def encodeResponse[Z](value: Value): Response

Uses this codec to encode the Scala value as a response.

Uses this codec to encode the Scala value as a response.

Attributes

final def encodeResponsePatch[Z](value: Value): Patch

Uses this codec to encode the Scala value as a response patch.

Uses this codec to encode the Scala value as a response patch.

Attributes

final def optional: HttpCodec[AtomTypes, Option[Value]]

Returns a new codec, where the value produced by this one is optional.

Returns a new codec, where the value produced by this one is optional.

Attributes

final def orElseEither[AtomTypes1 <: AtomTypes, Value2](that: HttpCodec[AtomTypes1, Value2]): HttpCodec[AtomTypes1, Either[Value, Value2]]
final def toLeft[R]: HttpCodec[AtomTypes, Either[Value, R]]
final def toRight[L]: HttpCodec[AtomTypes, Either[L, Value]]
final def transform[Value2](f: Value => Value2, g: Value2 => Value): HttpCodec[AtomTypes, Value2]

Transforms the type parameter of this HttpCodec from Value to Value2. Due to the fact that HttpCodec is invariant in its type parameter, the transformation requires not just a function from Value to Value2, but also, a function from Value2 to Value.

Transforms the type parameter of this HttpCodec from Value to Value2. Due to the fact that HttpCodec is invariant in its type parameter, the transformation requires not just a function from Value to Value2, but also, a function from Value2 to Value.

One of these functions will be used in decoding, for example, when the endpoint is invoked on the server. The other of these functions will be used in encoding, for example, when a client calls the endpoint on the server.

Attributes

final def transformOrFail[Value2](f: Value => Either[String, Value2], g: Value2 => Either[String, Value]): HttpCodec[AtomTypes, Value2]
final def transformOrFailLeft[Value2](f: Value => Either[String, Value2], g: Value2 => Value): HttpCodec[AtomTypes, Value2]
final def transformOrFailRight[Value2](f: Value => Value2, g: Value2 => Either[String, Value]): HttpCodec[AtomTypes, Value2]
final def unit(canonical: Value): HttpCodec[AtomTypes, Unit]

Transforms the type parameter to Unit by specifying that all possible values that can be decoded from this HttpCodec are in fact equivalent to the provided canonical value.

Transforms the type parameter to Unit by specifying that all possible values that can be decoded from this HttpCodec are in fact equivalent to the provided canonical value.

Note: You should NOT use this method on any codec which can decode semantically distinct values.

Attributes

final def |[AtomTypes1 <: AtomTypes, Value2](that: HttpCodec[AtomTypes1, Value2]): HttpCodec[AtomTypes1, Either[Value, Value2]]