API Reference

The API reference is auto-generated by doc-gen4 from Lean docstrings. Every public definition, structure, class, and theorem is documented.

Browse the full API reference

Quick Links

Core Infrastructure

• Hale.Base — Foundational types, functors, monads
• Hale.ByteString — Byte array operations
• Hale.Network — POSIX sockets with phantom state
• Hale.HttpTypes — HTTP methods, status, headers, URI

Web Application Interface

• Hale.WAI — Request/Response/Application/Middleware
• Hale.Warp — HTTP/1.x server
• Hale.WarpTLS — HTTPS via OpenSSL
• Hale.WaiExtra — 36 middleware modules
• Hale.WaiAppStatic — Static file serving
• Hale.WebSockets — RFC 6455 WebSocket protocol

Protocol Implementations

• Hale.Http2 — HTTP/2 framing (RFC 9113)
• Hale.Http3 — HTTP/3 framing + QPACK
• Hale.QUIC — QUIC transport
• Hale.TLS — OpenSSL FFI wrapper