Web.Api.WebDriver.Uri

Documentation

data Host

The host part of a URI. See https://tools.ietf.org/html/rfc3986#page-18.

Instances

Eq Host

Defined in Web.Api.WebDriver.Uri

Methods

(==) :: Host -> Host -> Bool

(/=) :: Host -> Host -> Bool

Show Host

Defined in Web.Api.WebDriver.Uri

Methods

showsPrec :: Int -> Host -> ShowS

show :: Host -> String

showList :: [Host] -> ShowS

Arbitrary Host

Defined in Web.Api.WebDriver.Uri

Methods

arbitrary :: Gen Host

shrink :: Host -> [Host]

mkHost :: Text -> Maybe Host

Constructor for hosts that checks for invalid characters.

data Port

The port part of a URI.

Instances

Eq Port

Defined in Web.Api.WebDriver.Uri

Methods

(==) :: Port -> Port -> Bool

(/=) :: Port -> Port -> Bool

Show Port

Defined in Web.Api.WebDriver.Uri

Methods

showsPrec :: Int -> Port -> ShowS

show :: Port -> String

showList :: [Port] -> ShowS

Arbitrary Port

Defined in Web.Api.WebDriver.Uri

Methods

arbitrary :: Gen Port

shrink :: Port -> [Port]

mkPort :: Text -> Maybe Port

Constructor for ports.