class Std.Http.Server.Handler (σ : Type) : Type 1

A type class for handling HTTP server requests. Implement this class to define how the server responds to incoming requests, failures, and Expect: 100-continue headers.

• ResponseBody : Type

  Concrete body type produced by onRequest. Defaults to Body.Any, but handlers may override it with any reader/writer-compatible body.

• responseBodyInstance : Body (ResponseBody σ)

  Body instance required by the connection loop for receiving response chunks.

• onRequest (self : σ) (request : Request Body.Stream) : Async.ContextAsync (Response (ResponseBody σ))

  Called for each incoming HTTP request.

• onFailure (self : σ) (error : IO.Error) : Async.Async Unit

  Called when an I/O or transport error occurs while processing a request (e.g. broken socket, handler exception). This is a notification only: the connection will close regardless of the handler's response. Use this for logging and metrics. The default implementation does nothing.

• onContinue (self : σ) (request : Request.Head) : Async.Async Bool

  Called when a request includes an Expect: 100-continue header. Return true to send a 100 Continue response and accept the body. If false is returned the server sends 417 Expectation Failed, disables keep-alive, and closes the request body reader. This function is guarded by Config.lingeringTimeout and may be cancelled on server shutdown. The default implementation always returns true.

structure Std.Http.Server.StatelessHandler : Type

A stateless HTTP handler.

• onRequest : Request Body.Stream → Async.ContextAsync (Response Body.Any)

  Function called for each incoming request.

• onFailure : IO.Error → Async.Async Unit

  Function called when an I/O or transport error occurs. The default does nothing.

• onContinue : Request.Head → Async.Async Bool

  Function called when a request includes Expect: 100-continue. Return true to accept the body or false to reject it with 417 Expectation Failed. The default always accepts.

@[implicit_reducible]

instance Std.Http.Server.instHandlerStatelessHandler : Handler StatelessHandler

Equations

• One or more equations did not get rendered due to their size.

def Std.Http.Server.Handler.ofFn (f : Request Body.Stream → Async.ContextAsync (Response Body.Any)) : StatelessHandler

Builds a StatelessHandler from a request-handling function.

Equations

• Std.Http.Server.Handler.ofFn f = { onRequest := f }

def Std.Http.Server.Handler.ofFns (onRequest : Request Body.Stream → Async.ContextAsync (Response Body.Any)) (onFailure : IO.Error → Async.Async Unit := fun (x : IO.Error) => pure ()) (onContinue : Request.Head → Async.Async Bool := fun (x : Request.Head) => pure true) : StatelessHandler

Builds a StatelessHandler from all three callback functions.

Equations

• Std.Http.Server.Handler.ofFns onRequest onFailure onContinue = { onRequest := onRequest, onFailure := onFailure, onContinue := onContinue }

def Std.Http.Server.Handler.withFailure (handler : StatelessHandler) (onFailure : IO.Error → Async.Async Unit) : StatelessHandler

Builds a StatelessHandler from a request function and a failure callback. Useful for attaching error logging to a handler.

Equations

• Std.Http.Server.Handler.withFailure handler onFailure = { onRequest := handler.onRequest, onFailure := onFailure, onContinue := handler.onContinue }

def Std.Http.Server.Handler.withContinue (handler : StatelessHandler) (onContinue : Request.Head → Async.Async Bool) : StatelessHandler

Builds a StatelessHandler from a request function and a continue callback

Equations

• Std.Http.Server.Handler.withContinue handler onContinue = { onRequest := handler.onRequest, onFailure := handler.onFailure, onContinue := onContinue }