Data.URI.RelativePart

data RelativePart

The "relative part" of a relative reference.

Constructors

• RelativePart (Maybe Authority) (Maybe URIPathRel)

Instances

• Eq RelativePart
• Ord RelativePart
• Generic RelativePart _
• Show RelativePart

parser :: Parser RelativePart

print :: RelativePart -> String

_authority :: Lens' RelativePart (Maybe Authority)

_path :: Lens' RelativePart (Maybe URIPathRel)

newtype UserInfo

The user info part of an Authority. For example: user, foo:bar.

Constructors

• UserInfo String

Instances

• Eq UserInfo
• Ord UserInfo
• Generic UserInfo _
• Newtype UserInfo _
• Show UserInfo

newtype Port

A port number.

Constructors

• Port Int

Instances

• Eq Port
• Ord Port
• Generic Port _
• Newtype Port _
• Show Port

data Host

A host address.

Constructors

• IPv6Address String
• IPv4Address String
• NameAddress String

Instances

• Eq Host
• Ord Host
• Generic Host _
• Show Host

data Authority

The authority part of a URI. For example: purescript.org, localhost:3000, user@example.net

Constructors

• Authority (Maybe UserInfo) (Array (Tuple Host (Maybe Port)))

Instances

• Eq Authority
• Ord Authority
• Generic Authority _
• Show Authority

_userInfo :: Lens' Authority (Maybe UserInfo)

_hosts :: Lens' Authority (Array (Tuple Host (Maybe Port)))

_NameAddress :: Prism' Host String

_IPv6Address :: Prism' Host String

_IPv4Address :: Prism' Host String

type URIPathRel = URIPath Rel Unsandboxed

The path part for a relative reference.

type URIPathAbs = URIPath Abs Sandboxed

The path part for a generic or absolute URI.

type URIPath a s = Either (Path a Dir s) (Path a File s)

A general URI path, can be used to represent relative or absolute paths that are sandboxed or unsandboxed.