Module

Data.URI.Types

Package: purescript-uri
Repository: slamdata/purescript-uri

#URI Source

data URI

A generic URI

Constructors

URI (Maybe URIScheme) HierarchicalPart (Maybe Query) (Maybe Fragment)

Instances

Eq URI
Show URI

#AbsoluteURI Source

data AbsoluteURI

An absolute URI.

Constructors

AbsoluteURI (Maybe URIScheme) HierarchicalPart (Maybe Query)

Instances

Eq AbsoluteURI
Show AbsoluteURI

#RelativeRef Source

data RelativeRef

A relative reference for a URI.

Constructors

RelativeRef RelativePart (Maybe Query) (Maybe Fragment)

Instances

Eq RelativeRef
Show RelativeRef

#URIPath Source

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.

#URIPathAbs Source

type URIPathAbs = URIPath Abs Sandboxed

The path part for a generic or absolute URI.

#URIPathRel Source

type URIPathRel = URIPath Rel Unsandboxed

The path part for a relative reference.

#URIRef Source

type URIRef = Either URI RelativeRef

An alias for the most common use case of resource identifiers.

#URIScheme Source

newtype URIScheme

The scheme part of an absolute URI. For example: http, ftp, git.

Constructors

URIScheme String

Instances

#HierarchicalPart Source

data HierarchicalPart

The "hierarchical part" of a generic or absolute URI.

Constructors

HierarchicalPart (Maybe Authority) (Maybe URIPathAbs)

Instances

Eq HierarchicalPart
Show HierarchicalPart

#RelativePart Source

data RelativePart

The "relative part" of a relative reference.

Constructors

RelativePart (Maybe Authority) (Maybe URIPathRel)

Instances

Eq RelativePart
Show RelativePart

#Authority Source

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

#UserInfo Source

type UserInfo = String

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

#Host Source

data Host

A host address.

Constructors

Instances

#Port Source

type Port = Int

A port number.

#Query Source

newtype Query

The query component of a URI.

Constructors

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

Instances

#Fragment Source

type Fragment = String

The hash fragment of a URI.

Modules: Data.URI; Data.URI.Authority; Data.URI.Common; Data.URI.Fragment; Data.URI.HierarchicalPart; Data.URI.Host; Data.URI.Host.Gen; Data.URI.Path; Data.URI.Query; Data.URI.RelativePart; Data.URI.Scheme; Data.URI.Types; Data.URI.UserInfo