object ServerEndpoint
- Companion:
- class
Type members
Types
type Full[_SECURITY_INPUT, _PRINCIPAL, _INPUT, _ERROR_OUTPUT, _OUTPUT, -R, F[_]] = ServerEndpoint[R, F] { type SECURITY_INPUT = _SECURITY_INPUT; type PRINCIPAL = _PRINCIPAL; type INPUT = _INPUT; type ERROR_OUTPUT = _ERROR_OUTPUT; type OUTPUT = _OUTPUT; }
The full type of a server endpoint, capturing the types of all input/output parameters. Most of the time, the simpler
ServerEndpoint[R, F]
can be used instead.
The full type of a server endpoint, capturing the types of all input/output parameters. Most of the time, the simpler
ServerEndpoint[R, F]
can be used instead.
Value members
Concrete methods
def apply[SECURITY_INPUT, PRINCIPAL, INPUT, ERROR_OUTPUT, OUTPUT, R, F[_]](endpoint: Endpoint[SECURITY_INPUT, INPUT, ERROR_OUTPUT, OUTPUT, R], securityLogic: MonadError[F] => SECURITY_INPUT => F[Either[ERROR_OUTPUT, PRINCIPAL]], logic: MonadError[F] => PRINCIPAL => INPUT => F[Either[ERROR_OUTPUT, OUTPUT]]): Full[SECURITY_INPUT, PRINCIPAL, INPUT, ERROR_OUTPUT, OUTPUT, R, F]
Create a server endpoint, with the given security and main logic functions, which match the shape defined by endpoint
.
Create a server endpoint, with the given security and main logic functions, which match the shape defined by endpoint
.