Running HTTP/2 server.

Server configuration

The default server config.

>>> defaultServerConfig
ServerConfig {numberOfWorkers = 8, connectionWindowSize = 1048576, settings = Settings {headerTableSize = 4096, enablePush = True, maxConcurrentStreams = Just 64, initialWindowSize = 262144, maxFrameSize = 16384, maxHeaderListSize = Nothing}}

The number of workers

The window size of incoming streams

Settings

HTTP/2 settings. See https://datatracker.ietf.org/doc/html/rfc9113#name-defined-settings.

The default settings.

>>> defaultSettings
Settings {headerTableSize = 4096, enablePush = True, maxConcurrentStreams = Just 64, initialWindowSize = 262144, maxFrameSize = 16384, maxHeaderListSize = Nothing}

SETTINGS_HEADER_TABLE_SIZE

SETTINGS_ENABLE_PUSH

SETTINGS_MAX_CONCURRENT_STREAMS

SETTINGS_INITIAL_WINDOW_SIZE

SETTINGS_MAX_FRAME_SIZE

SETTINGS_MAX_HEADER_LIST_SIZE

HTTP/2 configuration.

Making simple configuration whose IO is not efficient. A write buffer is allocated internally.

Deallocating the resource of the simple configuration.

Server type. Server takes a HTTP request, should generate a HTTP response and push promises, then should give them to the sending function. The sending function would throw exceptions so that they can be logged.

Request from client.

Getting the method from a request.

Getting the path from a request.

Getting the authority from a request.

Getting the scheme from a request.

Getting the headers from a request.

Getting the body size from a request.

Reading a chunk of the request body. An empty ByteString returned when finished.

Reading request trailers. This function must be called after getRequestBodyChunk returns an empty.

Additional information.

Time handle for the worker processing this request and response.

Local socket address copied from Config.

Remove socket address copied from Config.

Response from server.

Creating response without body.

Creating response with file.

Creating response with streaming.

Creating response with builder.

Getter for response body size. This value is available for file body.

Trailers maker. A chunks of the response body is passed with Just. The maker should update internal state with the ByteString and return the next trailers maker. When response body reaches its end, Nothing is passed and the maker should generate trailers. An example:

{-# LANGUAGE BangPatterns #-}
import Data.ByteString (ByteString)
import qualified Data.ByteString.Char8 as C8
import Crypto.Hash (Context, SHA1) -- cryptonite
import qualified Crypto.Hash as CH

-- Strictness is important for Context.
trailersMaker :: Context SHA1 -> Maybe ByteString -> IO NextTrailersMaker
trailersMaker ctx Nothing = return $ Trailers [("X-SHA1", sha1)]
  where
    !sha1 = C8.pack $ show $ CH.hashFinalize ctx
trailersMaker ctx (Just bs) = return $ NextTrailersMaker $ trailersMaker ctx'
  where
    !ctx' = CH.hashUpdate ctx bs

Usage example:

let h2rsp = responseFile ...
    maker = trailersMaker (CH.hashInit :: Context SHA1)
    h2rsp' = setResponseTrailersMaker h2rsp maker

Either the next trailers maker or final trailers.

TrailersMake to create no trailers.

Setting TrailersMaker to Response.

HTTP/2 push promise or sever push. Pseudo REQUEST headers in push promise is automatically generated. Then, a server push is sent according to promiseResponse.

Creating push promise. The third argument is traditional, not used.

Accessor for a URL path in a push promise (a virtual request from a server). E.g. "/style/default.css".

Accessor for response actually pushed from a server.

Path.

Authority.

"http" or "https".

File specification.

Offset for file.

How many bytes to read

Naive implementation for readN.

Making a position read and its closer.

Position read for files.

Manipulating a file resource.

Position read based on Handle.