- data URI = URI {}
- data URIAuth = URIAuth {
- uriUserInfo :: Text
- uriRegName :: Text
- uriPort :: Text
- parseURI :: Failure URIException m => Text -> m URI
- parseURIReference :: Failure URIException m => Text -> m URI
- parseRelativeReference :: Failure URIException m => Text -> m URI
- nullURI :: URI
- hasExtension :: URI -> Text -> Bool
- relativeTo :: URI -> URI -> Maybe URI
- toNetworkURI :: URI -> URI
- fromNetworkURI :: URI -> URI
- data Scheme m = Scheme {
- schemeNames :: Set Text
- schemeReader :: forall b. Maybe (URI -> Enumerator ByteString m b)
- schemeWriter :: Maybe (URI -> Enumerator ByteString m () -> m ())
- type SchemeMap m = Map Text (Scheme m)
- toSchemeMap :: [Scheme m] -> SchemeMap m
- readURI :: Monad m => SchemeMap m -> URI -> Enumerator ByteString m b
- writeURI :: Failure URIException m => SchemeMap m -> URI -> Enumerator ByteString m () -> m ()
- copyURI :: Failure URIException m => SchemeMap m -> URI -> URI -> m ()
- data URIException
Base datatypes
URIAuth | |
|
Parsing
parseURIReference :: Failure URIException m => Text -> m URISource
parseRelativeReference :: Failure URIException m => Text -> m URISource
Utils
hasExtension :: URI -> Text -> BoolSource
Conversion
toNetworkURI :: URI -> URISource
fromNetworkURI :: URI -> URISource
Perform I/O
Scheme | |
|
toSchemeMap :: [Scheme m] -> SchemeMap mSource
readURI :: Monad m => SchemeMap m -> URI -> Enumerator ByteString m bSource
writeURI :: Failure URIException m => SchemeMap m -> URI -> Enumerator ByteString m () -> m ()Source