URI

This module defines the URI and RequestTarget types that represent and manipulate components of URIs as defined by RFC 3986. It provides parsing, rendering, and normalization utilities for working with URIs and request targets in HTTP messages.

References:

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

@[inline]

def Std.Http.RequestTarget.parse? (string : String) : Option RequestTarget

Attempts to parse a RequestTarget from the given string.

@[inline]

def Std.Http.RequestTarget.parse! (string : String) : RequestTarget

Parses a RequestTarget from the given string. Panics if parsing fails. Use parse? if you need a safe option-returning version.

@[inline]

def Std.Http.RequestTarget.originForm! (path : String) : RequestTarget

Creates an origin-form request target from a path string. The path should start with '/' (e.g., "/api/users" or "/search?q=test"). Panics if the string is not a valid origin-form request target.

@[inline]

def Std.Http.URI.parse? (string : String) : Option URI

Attempts to parse a URI from the given string.

@[inline]

def Std.Http.URI.parse! (string : String) : URI

Parses a URI from the given string. Panics if parsing fails. Use parse? if you need a safe option-returning version.

@[inline]

def Std.Http.URI.Path.parse? (s : String) : Option Path

Attempts to parse a URI path from the given string. Returns none if the string is not a valid path.

@[inline]

def Std.Http.URI.Path.parseOrRoot (s : String) : Path

Parses a URI path from the given string. Returns the root path "/" if parsing fails.