structure Network.HTTP3.H3Request : Type

An HTTP/3 request with parsed headers and body reader. $$\text{H3Request} = \{ \text{method} : \text{String},\; \text{path} : \text{String},\; \ldots \}$$

• method : String

  The HTTP method (from :method pseudo-header).

• path : String

  The request path (from :path pseudo-header).

• scheme : String

  The scheme (from :scheme pseudo-header).

• authority : String

  The authority (from :authority pseudo-header).

• headers : List (String × String)

  Regular (non-pseudo) headers.

• readBody : IO ByteArray

  IO action to read the next chunk of the request body. Returns empty ByteArray when body is exhausted.

@[implicit_reducible]

instance Network.HTTP3.instInhabitedH3Request : Inhabited H3Request

Equations

• Network.HTTP3.instInhabitedH3Request = { default := Network.HTTP3.instInhabitedH3Request.default }

def Network.HTTP3.instInhabitedH3Request.default : H3Request

Equations

• Network.HTTP3.instInhabitedH3Request.default = { method := default, path := default, scheme := default, authority := default, headers := default, readBody := default }

structure Network.HTTP3.H3Response : Type

An HTTP/3 response. $$\text{H3Response} = \{ \text{status} : \mathbb{N},\; \text{headers} : \text{List}(\ldots),\; \text{body} : \text{ByteArray} \}$$

• status : Nat

  The HTTP status code.

• headers : List (String × String)

  Response headers.

• body : ByteArray

  Response body.

@[reducible, inline]

abbrev Network.HTTP3.H3Handler : Type

HTTP/3 request handler type. $$\text{H3Handler} = \text{H3Request} \to \text{IO}(\text{H3Response})$$

Equations

• Network.HTTP3.H3Handler = (Network.HTTP3.H3Request → IO Network.HTTP3.H3Response)

def Network.HTTP3.sendResponse (stream : QUIC.QUICStream) (resp : H3Response) : IO Unit

Encode an HTTP/3 response as HEADERS + DATA frames on a QUIC stream. $$\text{sendResponse} : \text{QUICStream} \to \text{H3Response} \to \text{IO}(\text{Unit})$$

Equations

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

def Network.HTTP3.handleRequestStream (stream : QUIC.QUICStream) (handler : H3Handler) : IO Unit

Handle a single HTTP/3 request stream. Reads frames from the stream, parses the request, invokes the handler, and sends the response. $$\text{handleRequestStream} : \text{QUICStream} \to \text{H3Handler} \to \text{IO}(\text{Unit})$$

Equations

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

def Network.HTTP3.handleConnection (conn : QUIC.Connection) (settings : H3Settings) (_handler : H3Handler) : IO Unit

Handle an HTTP/3 connection. Opens control streams, sends SETTINGS, and processes request streams. $$\text{handleConnection} : \text{Connection} \to \text{H3Settings} \to \text{H3Handler} \to \text{IO}(\text{Unit})$$

Equations

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