automorph.transport.http.endpoint.JettyWebSocketEndpoint
See theJettyWebSocketEndpoint companion object
final case class JettyWebSocketEndpoint[Effect[_]](effectSystem: EffectSystem[Effect], mapException: Throwable => Int, handler: RequestHandler[Effect, Context]) extends WebSocketAdapter, JettyWebSocketCreator, EndpointTransport[Effect, Context, WebSocketAdapter]
Jetty WebSocket endpoint message transport plugin.
Interprets WebSocket request message as an RPC request and processes it using the specified RPC request handler.
- The response returned by the RPC request handler is used as WebSocket response message.
Type parameters
- Effect
-
effect type
Value parameters
- effectSystem
-
effect system plugin
- handler
-
RPC request handler
- mapException
-
maps an exception to a corresponding HTTP status code
Attributes
- Constructor
-
Creates a Jetty HTTP endpoint message transport plugin with specified effect system and request handler.
- See also
- Companion
- object
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait JettyWebSocketCreatorclass WebSocketAdaptertrait WebSocketListenerclass Objecttrait Matchableclass Any
Members list
In this article