| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Text.URI
Synopsis
- data URI = URI {
- uriScheme :: Maybe String
- uriUserInfo :: Maybe String
- uriRegName :: Maybe String
- uriPort :: Maybe Integer
- uriPath :: String
- uriQuery :: Maybe String
- uriFragment :: Maybe String
- dereferencePath :: [String] -> [String]
- dereferencePathString :: String -> String
- escapeString :: (Char -> Bool) -> String -> String
- isReference :: URI -> Bool
- isRelative :: URI -> Bool
- nullURI :: URI
- okInFragment :: Char -> Bool
- okInPath :: Char -> Bool
- okInPathSegment :: Char -> Bool
- okInQuery :: Char -> Bool
- okInQueryItem :: Char -> Bool
- okInUserinfo :: Char -> Bool
- mergePaths :: [String] -> [String] -> [String]
- mergePathStrings :: String -> String -> String
- mergeURIs :: URI -> URI -> URI
- mergeURIStrings :: String -> String -> String
- pairsToQuery :: [(String, String)] -> String
- parseURI :: String -> Maybe URI
- pathToSegments :: String -> [String]
- segmentsToPath :: [String] -> String
- queryToPairs :: String -> [(String, String)]
- unescapeString :: String -> String
- uriPathSegments :: URI -> [String]
- uriQueryItems :: URI -> [(String, String)]
Documentation
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:
Constructors
| URI | |
Fields
| |
Instances
| Data URI Source # | |
Defined in Text.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 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 :: forall r r'. (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 | |
| Show URI Source # | |
| Eq URI Source # | |
| Ord URI Source # | |
dereferencePath :: [String] -> [String] Source #
Removes ".." and "." from path
dereferencePathString :: String -> String Source #
dereferencePath for strings
escapeString :: (Char -> Bool) -> String -> String Source #
Escapes string, using predicate to determine whether character is allowed
isReference :: URI -> Bool Source #
Checks if uri is a reference
isRelative :: URI -> Bool Source #
Checks if uri is relative
okInFragment :: Char -> Bool Source #
Checks if character is OK in fragment
okInPathSegment :: Char -> Bool Source #
Checks if character is ok in path segment
okInQueryItem :: Char -> Bool Source #
Checks if character is OK in urlencoded query item
okInUserinfo :: Char -> Bool Source #
Checks if character is OK in userinfo
mergePaths :: [String] -> [String] -> [String] Source #
Merges two paths
mergePathStrings :: String -> String -> String Source #
mergePaths for strings
mergeURIStrings :: String -> String -> String Source #
mergeURIs for strings
pairsToQuery :: [(String, String)] -> String Source #
Composes www-urlencoded query from key-value pairs
pathToSegments :: String -> [String] Source #
Splits path to segments
segmentsToPath :: [String] -> String Source #
Joins path segments, with escaping
queryToPairs :: String -> [(String, String)] Source #
Parses www-urlencoded string to key-value pairs
unescapeString :: String -> String Source #
Unescapes percent-sequences
uriPathSegments :: URI -> [String] Source #
Convenience function for extracting path segments
uriQueryItems :: URI -> [(String, String)] Source #
Convenience function for extracting www-urlencoded data