URI.Path.Absolute

newtype PathAbsolute

An absolute path, corresponding to path-absolute in the spec. This path cannot represent the value // - it must either be /, or start with a segment that is not empty, for example: /something, /., /... This type can appear in both hierarchical-part and relative-parts to represent an absolute path when no authority component is present.

This restriction exists as a value begining with // at this point in the grammar must be an authority, attempting to decide whether a value is an authority or a path would be ambiguous if // paths were allowed. The // path means the same thing as / anyway!

Constructors

• PathAbsolute (Maybe (Tuple PathSegmentNZ (Array PathSegment)))

Instances

• Eq PathAbsolute
• Ord PathAbsolute
• Generic PathAbsolute _
• Show PathAbsolute

parse :: Parser String PathAbsolute

A parser for a path-absolute URI component.

print :: PathAbsolute -> String

A printer for a path-absolute URI component.