Debian.URI

Documentation

uriToString :: (String -> String) -> URI -> ShowS

Turn a URI into a string.

Uses a supplied function to map the userinfo part of the URI.

The Show instance for URI uses a mapping that hides any password that may be present in the URI. Use this function with argument id to preserve the password in the formatted output.

parseAbsoluteURI :: String -> Maybe URI

Parse an absolute URI to a URI value. Returns Nothing if the string is not a valid absolute URI. (an absolute URI without a fragment identifier).

parseRelativeReference :: String -> Maybe URI

Parse a relative URI to a URI value. Returns Nothing if the string is not a valid relative URI. (a relative URI with optional fragment identifier).

parseURIReference :: String -> Maybe URI

Parse a URI reference to a URI value. Returns Nothing if the string is not a valid URI reference. (an absolute or relative URI with optional fragment identifier).

parseURI :: String -> Maybe URI

Turn a string containing a URI into a URI. Returns Nothing if the string is not a valid URI; (an absolute URI with optional fragment identifier).

NOTE: this is different from the previous network.URI, whose parseURI function works like parseURIReference in this module.

nullURI :: URI

Blank URI

data URI

Represents a general universal resource identifier using its component parts.

For example, for the URI

  foo://[e-mail]:42/ghc?query#frag

the components are:

Constructors

URI

Fields

• uriScheme :: String

  foo:

• uriAuthority :: Maybe URIAuth

  //[e-mail]:42

• uriPath :: String

  /ghc

• uriQuery :: String

  ?query

• uriFragment :: String

  #frag

Instances

Eq URI

Defined in Network.URI

Methods

(==) :: URI -> URI -> Bool

(/=) :: URI -> URI -> Bool

Data URI

Defined in Network.URI

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> URI -> c URI

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c URI

toConstr :: URI -> Constr

dataTypeOf :: URI -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c URI)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c URI)

gmapT :: (forall b. Data b => b -> b) -> URI -> URI

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> URI -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> URI -> r

gmapQ :: (forall d. Data d => d -> u) -> URI -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> URI -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> URI -> m URI

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> URI -> m URI

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> URI -> m URI

Ord URI

Defined in Network.URI

Methods

compare :: URI -> URI -> Ordering

(<) :: URI -> URI -> Bool

(<=) :: URI -> URI -> Bool

(>) :: URI -> URI -> Bool

(>=) :: URI -> URI -> Bool

max :: URI -> URI -> URI

min :: URI -> URI -> URI

Show URI

Defined in Network.URI

Methods

showsPrec :: Int -> URI -> ShowS

show :: URI -> String

showList :: [URI] -> ShowS

Generic URI

Defined in Network.URI

Associated Types

type Rep URI :: Type -> Type

Methods

from :: URI -> Rep URI x

to :: Rep URI x -> URI

Lift URI

Defined in Network.URI

Methods

lift :: URI -> Q Exp

NFData URI

Defined in Network.URI

Methods

rnf :: URI -> ()

Arbitrary URI

Defined in Debian.URI

Methods

arbitrary :: Gen URI

shrink :: URI -> [URI]

type Rep URI

Defined in Network.URI

type Rep URI = D1 (MetaData "URI" "Network.URI" "network-uri-2.6.2.0-LHnNi9N4lmbFWCwIyvTSKY" False) (C1 (MetaCons "URI" PrefixI True) ((S1 (MetaSel (Just "uriScheme") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "uriAuthority") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe URIAuth))) :*: (S1 (MetaSel (Just "uriPath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Just "uriQuery") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "uriFragment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))

data URIAuth

Type for authority value within a URI

Constructors

URIAuth

Fields

• uriUserInfo :: String

  anonymous@

• uriRegName :: String

  www.haskell.org

• uriPort :: String

  :42

Instances

Eq URIAuth

Defined in Network.URI

Methods

(==) :: URIAuth -> URIAuth -> Bool

(/=) :: URIAuth -> URIAuth -> Bool

Data URIAuth

Defined in Network.URI

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> URIAuth -> c URIAuth

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c URIAuth

toConstr :: URIAuth -> Constr

dataTypeOf :: URIAuth -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c URIAuth)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c URIAuth)

gmapT :: (forall b. Data b => b -> b) -> URIAuth -> URIAuth

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> URIAuth -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> URIAuth -> r

gmapQ :: (forall d. Data d => d -> u) -> URIAuth -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> URIAuth -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> URIAuth -> m URIAuth

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> URIAuth -> m URIAuth

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> URIAuth -> m URIAuth

Ord URIAuth

Defined in Network.URI

Methods

compare :: URIAuth -> URIAuth -> Ordering

(<) :: URIAuth -> URIAuth -> Bool

(<=) :: URIAuth -> URIAuth -> Bool

(>) :: URIAuth -> URIAuth -> Bool

(>=) :: URIAuth -> URIAuth -> Bool

max :: URIAuth -> URIAuth -> URIAuth

min :: URIAuth -> URIAuth -> URIAuth

Show URIAuth

Defined in Network.URI

Methods

showsPrec :: Int -> URIAuth -> ShowS

show :: URIAuth -> String

showList :: [URIAuth] -> ShowS

Generic URIAuth

Defined in Network.URI

Associated Types

type Rep URIAuth :: Type -> Type

Methods

from :: URIAuth -> Rep URIAuth x

to :: Rep URIAuth x -> URIAuth

Lift URIAuth

Defined in Network.URI

Methods

lift :: URIAuth -> Q Exp

NFData URIAuth

Defined in Network.URI

Methods

rnf :: URIAuth -> ()

type Rep URIAuth

Defined in Network.URI

type Rep URIAuth = D1 (MetaData "URIAuth" "Network.URI" "network-uri-2.6.2.0-LHnNi9N4lmbFWCwIyvTSKY" False) (C1 (MetaCons "URIAuth" PrefixI True) (S1 (MetaSel (Just "uriUserInfo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Just "uriRegName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "uriPort") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

data URIError

Constructors

URIParseError String String

URIAppendError URI URI

Instances

Eq URIError

Defined in Debian.URI

Methods

(==) :: URIError -> URIError -> Bool

(/=) :: URIError -> URIError -> Bool

Ord URIError

Defined in Debian.URI

Methods

compare :: URIError -> URIError -> Ordering

(<) :: URIError -> URIError -> Bool

(<=) :: URIError -> URIError -> Bool

(>) :: URIError -> URIError -> Bool

(>=) :: URIError -> URIError -> Bool

max :: URIError -> URIError -> URIError

min :: URIError -> URIError -> URIError

Show URIError

Defined in Debian.URI

Methods

showsPrec :: Int -> URIError -> ShowS

show :: URIError -> String

showList :: [URIError] -> ShowS

HasURIError URIError

Defined in Debian.URI

Methods

fromURIError :: URIError -> URIError

uriSchemeLens :: Lens' URI String

uriAuthorityLens :: Lens' URI (Maybe URIAuth)

uriPathLens :: Lens' URI String

uriQueryLens :: Lens' URI String

uriFragmentLens :: Lens' URI String

String known to parsable by parseURIReference. Mainly

newtype URI'

A wrapper around a String containing a known parsable URI. Not absolutely safe, because you could say read "URI' "bogus string"" :: URI'. But enough to save me from myself.

Constructors

URI' String

Instances

Eq URI'

Defined in Debian.URI

Methods

(==) :: URI' -> URI' -> Bool

(/=) :: URI' -> URI' -> Bool

Ord URI'

Defined in Debian.URI

Methods

compare :: URI' -> URI' -> Ordering

(<) :: URI' -> URI' -> Bool

(<=) :: URI' -> URI' -> Bool

(>) :: URI' -> URI' -> Bool

(>=) :: URI' -> URI' -> Bool

max :: URI' -> URI' -> URI'

min :: URI' -> URI' -> URI'

Read URI'

Defined in Debian.URI

Methods

readsPrec :: Int -> ReadS URI'

readList :: ReadS [URI']

readPrec :: ReadPrec URI'

readListPrec :: ReadPrec [URI']

Show URI'

Defined in Debian.URI

Methods

showsPrec :: Int -> URI' -> ShowS

show :: URI' -> String

showList :: [URI'] -> ShowS

fromURI' :: URI' -> URI

toURI' :: URI -> URI'

Using the bogus Show instance of URI here. If it ever gets fixed this will stop working. Worth noting that show will obscure any password info embedded in the URI, so that's nice.

readURI' :: String -> Maybe URI'

showURI :: URI -> String

parseURIReference' :: (HasURIError e, MonadError e m) => String -> m URI

parseURI' :: (HasURIError e, MonadError e m) => String -> m URI

parseURI with MonadError

parseAbsoluteURI' :: (HasURIError e, MonadError e m) => String -> m URI

parseRelativeReference' :: (HasURIError e, MonadError e m) => String -> m URI

parseURIUnsafe :: String -> URI

appendURI :: MonadError URIError m => URI -> URI -> m URI

Conservative appending of absolute and relative URIs. There may be other cases that can be implemented, lets see if they turn up.

appendURIs :: (Foldable t, MonadError URIError m) => t URI -> m URI

Append a list of URI @@ λ> appendURIs (parseURI "http://host.com") (parseURIRelative "/bar")

parentURI :: URI -> URI

uriToString' :: URI -> String

Lift IO operations into a MonadError instance

class HasParseError e where

Methods

fromParseError :: ParseError -> e

Instances

HasParseError ParseError

Defined in Debian.URI

Methods

fromParseError :: ParseError -> ParseError

class HasURIError e where

Methods

fromURIError :: URIError -> e

Instances

HasURIError URIError

Defined in Debian.URI

Methods

fromURIError :: URIError -> URIError

QuickCheck properties

prop_print_parse :: URI -> Bool

prop_append_singleton :: URI -> Bool

Orphan instances

Ord ParseError

Methods

compare :: ParseError -> ParseError -> Ordering

(<) :: ParseError -> ParseError -> Bool

(<=) :: ParseError -> ParseError -> Bool

(>) :: ParseError -> ParseError -> Bool

(>=) :: ParseError -> ParseError -> Bool

max :: ParseError -> ParseError -> ParseError

min :: ParseError -> ParseError -> ParseError

Arbitrary URI

Methods

arbitrary :: Gen URI

shrink :: URI -> [URI]