Data.URI.RelativeRef

data RelativeRef

A relative reference for a URI.

Constructors

• RelativeRef RelativePart (Maybe Query) (Maybe Fragment)

Instances

• Eq RelativeRef
• Ord RelativeRef
• Generic RelativeRef _
• Show RelativeRef

parse :: String -> Either ParseError RelativeRef

parser :: Parser RelativeRef

print :: RelativeRef -> String

_relPart :: Lens' RelativeRef RelativePart

_query :: Lens' RelativeRef (Maybe Query)

_fragment :: Lens' RelativeRef (Maybe Fragment)

newtype Fragment

The hash fragment of a URI.

Constructors

• Fragment String

Instances

• Eq Fragment
• Ord Fragment
• Generic Fragment _
• Newtype Fragment _
• Show Fragment

newtype Query

The query component of a URI.

Constructors

• Query (List (Tuple String (Maybe String)))

Instances

• Eq Query
• Ord Query
• Generic Query _
• Newtype Query _
• Show Query
• Semigroup Query
• Monoid Query

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

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.

data RelativePart

The "relative part" of a relative reference.

Constructors

• RelativePart (Maybe Authority) (Maybe URIPathRel)

Instances

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

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)

_path :: Lens' RelativePart (Maybe URIPathRel)

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

_authority :: Lens' RelativePart (Maybe Authority)

_NameAddress :: Prism' Host String

_IPv6Address :: Prism' Host String

_IPv4Address :: Prism' Host String