Type Members

1.  implicit class ModifyEach[F[_], T] extends AnyRef

   Definition Classes

   ModifyMacroFunctorSupport

2.  implicit class ModifyEachMap[F[_, _], K, T] extends AnyRef

   Definition Classes

   ModifyMacroSupport

3.  trait ModifyFunctor[F[_], A] extends AnyRef

   Definition Classes

   ModifyMacroFunctorSupport

4.  type TapirFile = File

   Definition Classes

   TapirExtensions

5.  final class WebSocketBodyBuilder[REQ, REQ_CF <: CodecFormat, RESP, RESP_CF <: CodecFormat] extends AnyRef

   Definition Classes

   Tapir

6.  type ZEndpoint[I, E, O] = Endpoint[I, E, O, Any]

   Definition Classes

   ZTapir

7.  abstract class ZPartialServerEndpoint[R, U, I, E, O] extends EndpointInputsOps[I, E, O, Nothing] with EndpointOutputsOps[I, E, O, Nothing] with EndpointInfoOps[I, E, O, Nothing] with EndpointMetaOps[I, E, O, Nothing]

   An endpoint, with some of the server logic already provided, and some left unspecified.

   An endpoint, with some of the server logic already provided, and some left unspecified. See RichZEndpoint.zServerLogicForCurrent.

   The part of the server logic which is provided transforms some inputs either to an error of type E, or value of type U.

   The part of the server logic which is not provided, transforms a tuple: (U, I) either into an error, or a value of type O.

   Inputs/outputs can be added to partial endpoints as to regular endpoints, however the shape of the error outputs is fixed and cannot be changed.

   R

   The environment needed by the partial server logic.

   U

   Type of partially transformed input.

   I

   Input parameter types.

   E

   Error output parameter types.

   O

   Output parameter types.

8.  type ZServerEndpoint[R, I, E, O] = ServerEndpoint[I, E, O, Any, [β$0$]ZIO[R, Throwable, β$0$]]

   Definition Classes

   ZTapir

9.  abstract class ZServerEndpointInParts[R, U, J, I, E, O] extends EndpointInfoOps[I, E, O, Nothing] with EndpointMetaOps[I, E, O, Nothing]

   An endpoint description together with partial server logic.

   An endpoint description together with partial server logic. See RichZEndpoint.zServerLogicPart.

   The part of the server logic which is provided transforms some inputs either to an error of type E, or value of type U.

   The part of the server logic which is not provided, transforms a tuple: (U, J) either into an error of type E, or a value of type O.

   R

   The environment needed by the partial server logic.

   U

   The type of the value returned by the partial server logic.

   J

   Remaining input parameter types, for which logic has yet to be provided.

   I

   Entire input parameter types. I = T + J, where T is the part of the input consumed by the partial logic, and converted to U.

   E

   Error output parameter types.

   O

   Output parameter types.

10.  trait ZTapir extends AnyRef
11.  implicit class RichZEndpoint[I, E, O] extends AnyRef

    Definition Classes

    ZTapir

12.  implicit class RichZServiceEndpoint[R, I, E, O] extends AnyRef

    Definition Classes

    ZTapir