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.parseURIReference (config : Config := { }) : Internal.Parsec.ByteArray.Parser URIReference

Parses a URI reference as defined in RFC 3986 Section 4.1:

URI-reference = URI / relative-ref
relative-ref  = relative-part [ "?" query ] [ "#" fragment ]
relative-part = "//" authority path-abempty
              / path-absolute
              / path-noscheme
              / path-empty

Tries a full URI first (requires a scheme). Falls back to a relative reference: authority-rooted (//host/path), absolute-path (/path), path-noscheme (foo/bar, ../baz), query-only (?q), fragment-only (#frag), or empty.

Equations

• Std.Http.URI.Parser.parseURIReference config = (Std.Internal.Parsec.attempt (Std.Http.URI.Parser.parseURIReference.uri✝ config) <|> Std.Http.URI.Parser.parseURIReference.relative✝ config)

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.