Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data UriReferenceType
- data Authority = Authority {}
- newtype Fragment = Fragment {
- unFragment :: Text
- newtype Host = Host {}
- newtype Path (ref :: UriReferenceType) = Path {
- unPath :: [PathSegment]
- newtype PathSegment = PathSegment {}
- newtype Query = Query {}
- newtype Scheme = Scheme {}
- newtype UserInfo = UserInfo {
- unUserInfo :: Text
- data Uri = Uri {}
- data RelRef = RelRef {}
- data UriReference
- parseUri :: MonadThrow m => ByteString -> m Uri
- parseUriRef :: MonadThrow m => ByteString -> m UriReference
Documentation
The Authority component of a URI
The Fragment component of a URI
The Host subcomponent of a URI Authority
newtype Path (ref :: UriReferenceType) Source #
The Path component of a URI, including a series of individual Path Segments
Path | |
|
newtype PathSegment Source #
An individial Path segment of a URI
Instances
Eq PathSegment Source # | |
Defined in Dormouse.Uri.Types (==) :: PathSegment -> PathSegment -> Bool # (/=) :: PathSegment -> PathSegment -> Bool # | |
Show PathSegment Source # | |
Defined in Dormouse.Uri.Types showsPrec :: Int -> PathSegment -> ShowS # show :: PathSegment -> String # showList :: [PathSegment] -> ShowS # | |
IsString PathSegment Source # | |
Defined in Dormouse.Uri.Types fromString :: String -> PathSegment # | |
Lift PathSegment Source # | |
Defined in Dormouse.Uri.Types lift :: PathSegment -> Q Exp # liftTyped :: PathSegment -> Q (TExp PathSegment) # |
The Query component of a URI
The UserInfo subcomponent of a URI Authority
A Uniform Resource Identifier (URI) is a compact sequence of characters that identifies an abstract or physical resource. It is defined according to RFC 3986 (https://tools.ietf.org/html/rfc3986).
The data associated with a URI Relative Reference
data UriReference Source #
A URI-reference is either a URI or a relative reference. If the URI-reference's prefix does not match the syntax of a scheme followed by its colon separator, then the URI-reference is a relative reference.
Instances
Eq UriReference Source # | |
Defined in Dormouse.Uri.Types (==) :: UriReference -> UriReference -> Bool # (/=) :: UriReference -> UriReference -> Bool # | |
Show UriReference Source # | |
Defined in Dormouse.Uri.Types showsPrec :: Int -> UriReference -> ShowS # show :: UriReference -> String # showList :: [UriReference] -> ShowS # | |
Lift UriReference Source # | |
Defined in Dormouse.Uri.Types lift :: UriReference -> Q Exp # liftTyped :: UriReference -> Q (TExp UriReference) # |
parseUri :: MonadThrow m => ByteString -> m Uri Source #
Parse an ascii ByteString
as a uri, throwing a UriException
in m
if this fails
parseUriRef :: MonadThrow m => ByteString -> m UriReference Source #
Parse an ascii ByteString
as a uri reference, throwing a UriException
in m
if this fails