Network.Protocol.Uri.Data
- type Scheme = String
- type RegName = String
- type Port = Int
- type Query = String
- type Fragment = String
- type Hash = String
- type UserInfo = String
- type PathSegment = String
- data IPv4 = IPv4 Int Int Int Int
- data Domain = Domain {}
- data Host
- data Authority = Authority {}
- data Path = Path {
- __segments :: [PathSegment]
- data Uri = Uri {}
- _parts :: Domain :-> [String]
- _domain :: Host :-> Domain
- _ipv4 :: Host :-> IPv4
- _regname :: Host :-> String
- _host :: Authority :-> Host
- _port :: Authority :-> Maybe Port
- _userinfo :: Authority :-> UserInfo
- _segments :: Path :-> [PathSegment]
- _path :: Uri :-> Path
- _query :: Uri :-> Query
- authority :: Uri :-> Authority
- domain :: Uri :-> Maybe Domain
- regname :: Uri :-> Maybe RegName
- ipv4 :: Uri :-> Maybe IPv4
- _fragment :: Uri :-> Fragment
- port :: Uri :-> Maybe Port
- query :: Uri :-> Query
- fragment :: Uri :-> Fragment
- relative :: Uri :-> Bool
- scheme :: Uri :-> Scheme
- segments :: Uri :-> [PathSegment]
- userinfo :: Uri :-> String
- mkUri :: Uri
- mkScheme :: Scheme
- mkPath :: Path
- mkAuthority :: Authority
- mkQuery :: Query
- mkFragment :: Fragment
- mkUserinfo :: UserInfo
- mkHost :: Host
- mkPort :: Maybe Port
Documentation
type PathSegment = StringSource
Constructors
| Path | |
Fields
| |
Constructors
| Uri | |
domain :: Uri :-> Maybe DomainSource
Access domain part of the URI, returns Nothing when the host is a
regname or IP-address.
regname :: Uri :-> Maybe RegNameSource
Access regname part of the URI, returns Nothing when the host is a
domain or IP-address.
ipv4 :: Uri :-> Maybe IPv4Source
Access IPv4-address part of the URI, returns Nothing when the host is a
domain or regname.
Access the query part of the URI, the part that follows the ?. The query will be properly decoded when reading and encoded when writing.
fragment :: Uri :-> FragmentSource
Access the fragment part of the URI, the part that follows the #. The fragment will be properly decoded when reading and encoded when writing.
scheme :: Uri :-> SchemeSource
Access the scheme part of the URI. A scheme is probably the protocol indicator like http, ftp, etc.
segments :: Uri :-> [PathSegment]Source
Access the path part of the URI as a list of path segments. The segments will still be URI-encoded.
userinfo :: Uri :-> StringSource
Access the userinfo part of the URI. The userinfo contains an optional username and password or some other credentials.
mkAuthority :: AuthoritySource
Constructors for making empty Authority.
Constructors for making empty Fragment.
Constructors for making empty UserInfo.