HTTP Server Domain

The HttpServer domain provides a scalable HTTP/1.1 + HTTP/2 server with optional WebSocket upgrades. The server is designed to run across multiple CPU cores.

use aivi.net.http_server

Types

type Header = { name: Text, value: Text }

type Request = {
  method: Text,
  path: Text,
  headers: List Header,
  body: List Int,
  remoteAddr: Option Text
}

type Response = {
  status: Int,
  headers: List Header,
  body: List Int
}

type ServerConfig = {
  address: Text
}

type HttpError = { message: Text }
type WsError = { message: Text }

type WsMessage
  = TextMsg Text
  | BinaryMsg (List Int)
  | Ping
  | Pong
  | Close

type ServerReply
  = Http Response
  | Ws (WebSocket -> Effect WsError Unit)

Functions

Function	Explanation
listen config handler ServerConfig -> (Request -> Effect HttpError ServerReply) -> Resource Server	Starts a server and yields a Server resource that stops on cleanup.
stop server Server -> Effect HttpError Unit	Stops a running server instance.
wsRecv socket WebSocket -> Effect WsError WsMessage	Receives the next WebSocket message.
wsSend socket message WebSocket -> WsMessage -> Effect WsError Unit	Sends a WebSocket message.
wsClose socket WebSocket -> Effect WsError Unit	Closes the WebSocket connection.