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.