Type Members

1.  abstract class PartialServerEndpoint[T, U, I, E, O, -R, F[_]] extends EndpointInputsOps[I, E, O, R] with EndpointOutputsOps[I, E, O, R] with EndpointInfoOps[I, E, O, R] with EndpointMetaOps[I, E, O, R]

   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 Endpoint.serverLogicForCurrent.

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

   The part of the server logic which is not provided, will have to transform 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.

   T

   Original type of the input, transformed into U

   U

   Type of partially transformed input.

   I

   Input parameter types.

   E

   Error output parameter types.

   O

   Output parameter types.

   R

   The capabilities that are required by this endpoint's inputs/outputs. Any, if no requirements.

   F

   The effect type used in the provided partial server logic.

2.  case class ServerEndpoint[I, E, O, -R, F[_]](endpoint: Endpoint[I, E, O, R], logic: (MonadError[F]) => (I) => F[Either[E, O]]) extends EndpointInfoOps[I, E, O, R] with EndpointMetaOps[I, E, O, R] with Product with Serializable
   I

   Input parameter types.

   E

   Error output parameter types.

   O

   Output parameter types.

   R

   The capabilities that are required by this endpoint's inputs/outputs. Any, if no requirements.

   F

   The effect type used in the provided server logic.

3.  abstract class ServerEndpointInParts[U, IR, I, E, O, -R, F[_]] extends EndpointInfoOps[I, E, O, R] with EndpointMetaOps[I, E, O, R]

   An endpoint description together with partial server logic.

   An endpoint description together with partial server logic. See Endpoint.serverLogicPart.

   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, R) either into an error of type E, or a value of type O.

   U

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

   IR

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

   I

   Entire input parameter types. I = T + R, 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.

   R

   The capabilities that are required by this endpoint's inputs/outputs. Any, if no requirements.

   F

   The effect type used in the provided server logic.