URI Parser

This module provides parsers for HTTP request targets and HTTP-oriented URIs aligned with RFC 3986. It handles parsing of schemes, authorities, paths, queries, and fragments.

Notable intentional constraints:

• hosts are limited to IPv4, bracketed IPv6, and DNS-style domain names
• IPvFuture (v...) inside IP-literal is currently rejected

References:

• https://www.rfc-editor.org/rfc/rfc3986.html
• https://www.rfc-editor.org/rfc/rfc9110.html#name-uri-references
• https://www.rfc-editor.org/rfc/rfc9112.html#section-3.3

def Std.Http.URI.Parser.parsePath (config : Config) (forceAbsolute allowEmpty : Bool) : Internal.Parsec.ByteArray.Parser Path

Parses a URI path with combined parsing and validation.

Equations

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

def Std.Http.URI.Parser.parseURI (config : Config := { }) : Internal.Parsec.ByteArray.Parser URI

Parses a URI (Uniform Resource Identifier).

URI = scheme ":" hier-part [ "?" query ] [ "#" fragment ] hier-part = "//" authority path-abempty / path-absolute / path-rootless / path-empty

Equations

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

def Std.Http.URI.Parser.parseRequestTarget (config : Config := { }) : Internal.Parsec.ByteArray.Parser RequestTarget

Parses a request target with combined parsing and validation.

Equations

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

def Std.Http.URI.Parser.parseHostHeader (config : Config := { }) : Internal.Parsec.ByteArray.Parser (Host × Port)

Parses an HTTP Host header value.

Equations

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