Safe Haskell	None
Language	Haskell2010

Model.URL

Contents

Orphan instances

Synopsis

Documentation

data URI :: * #

Represents a general universal resource identifier using its component parts.

For example, for the URI

  foo://anonymous@www.haskell.org:42/ghc?query#frag

the components are:

Instances

Eq URI
Methods (==) :: URI -> URI -> Bool # (/=) :: URI -> URI -> Bool #
Data 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
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
Methods showsPrec :: Int -> URI -> ShowS # show :: URI -> String # showList :: [URI] -> ShowS #
Generic URI
Associated Types type Rep URI :: * -> * # Methods from :: URI -> Rep URI x # to :: Rep URI x -> URI #
NFData URI
Methods rnf :: URI -> () #
Deform f URI Source #
Methods deform :: Monad m => DeformT f m URI Source #
type Rep URI
type Rep URI = D1 (MetaData "URI" "Network.URI" "network-uri-2.6.1.0-Fj1qKIThD9W270EtbkvRHL" False) (C1 (MetaCons "URI" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "uriScheme") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Just Symbol "uriAuthority") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe URIAuth)))) ((::) (S1 (MetaSel (Just Symbol "uriPath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) ((::) (S1 (MetaSel (Just Symbol "uriQuery") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Just Symbol "uriFragment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))

validHDL :: String -> Bool Source #

A valid HDL handle consists of digits with periods interleaved, ending with a slash (following by anything). See handle.net for more information. What is generating and using HDL urls?

hdlURL :: String -> URI Source #

Build an HDL url from a DOI

parseURL :: String -> Maybe URI Source #

Start from either a shorthand DOI value or a doi/hdl scheme or doi domain, and expand out to canonical HDL based URI. For all other http/https URLs, pass value through

urlLink :: URI -> URI Source #

Expand special doi and hdl scheme URIs to equivalent http scheme URIs. Allow http URIs to pass through

Orphan instances

Lift URI Source #
Methods lift :: URI -> Q Exp #
Lift URIAuth Source #
Methods lift :: URIAuth -> Q Exp #
ToJSON URI Source #	Format a URL value for inclusion in a JSON object
Methods toJSON :: URI -> Value # toEncoding :: URI -> Encoding # toJSONList :: [URI] -> Value # toEncodingList :: [URI] -> Encoding #
ToValue URI Source #	Format a URI for display in a server side generated html page
Methods toValue :: URI -> AttributeValue # preEscapedToValue :: URI -> AttributeValue #
PGParameter "text" URI Source #	From URI value into value to be provided to database
Methods pgEncode :: PGTypeName "text" -> URI -> PGTextValue # pgLiteral :: PGTypeName "text" -> URI -> ByteString # pgEncodeValue :: PGTypeEnv -> PGTypeName "text" -> URI -> PGValue #
PGColumn "text" URI Source #	From database value to URI value
Methods pgDecode :: PGTypeName "text" -> PGTextValue -> URI # pgDecodeBinary :: PGTypeEnv -> PGTypeName "text" -> PGBinaryValue -> URI # pgDecodeValue :: PGTypeEnv -> PGTypeName "text" -> PGValue -> URI #