Spec

zio.http.endpoint.EndpointMiddleware.Spec
final case class Spec[In0, Err0, Out0](input: HttpCodec[Header & Query & Method, In0], output: HttpCodec[Header, Out0], error: HttpCodec[ResponseType, Err0], doc: Doc) extends EndpointMiddleware

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Spec[In0, Err0, Out0]

Members list

Type members

Types

final type Err = Err0
final type In = In0
final type Out = Out0

Value members

Inherited methods

def ++(that: EndpointMiddleware)(implicit inCombiner: Combiner[In, In], outCombiner: Combiner[Out, Out], errAlternator: Alternator[Err, Err]): Typed[Out, Out, Out]

Attributes

Inherited from:
EndpointMiddleware
def ??(doc: Doc): Typed[In, Err, Out]

Attributes

Inherited from:
EndpointMiddleware
def implement[R, S](incoming: In => ZIO[R, Err, S])(outgoing: S => ZIO[R, Err, Out])(implicit trace: Trace): HandlerAspect[R, S]

Attributes

Inherited from:
EndpointMiddleware
def mapBoth[MiddlewareIn2, MiddlewareOut2](f: HttpCodec[Header & Query & Method, In] => HttpCodec[Header & Query & Method, MiddlewareIn2], g: HttpCodec[Header, Out] => HttpCodec[Header, MiddlewareOut2]): Typed[MiddlewareIn2, Err, MiddlewareOut2]

Attributes

Inherited from:
EndpointMiddleware
def mapIn[MiddlewareIn2](f: HttpCodec[Header & Query & Method, In] => HttpCodec[Header & Query & Method, MiddlewareIn2]): Typed[MiddlewareIn2, Err, Out]

Attributes

Inherited from:
EndpointMiddleware
def mapOut[MiddlewareOut2](f: HttpCodec[Header, Out] => HttpCodec[Header, MiddlewareOut2]): Typed[In, Err, MiddlewareOut2]

Attributes

Inherited from:
EndpointMiddleware
def optional: Typed[Option[In], Err, Option[Out]]

Attributes

Inherited from:
EndpointMiddleware
def optionalIn: Typed[Option[In], Err, Out]

Attributes

Inherited from:
EndpointMiddleware
def optionalOut: Typed[In, Err, Option[Out]]

Attributes

Inherited from:
EndpointMiddleware
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product