Network.URL.HTTP.Data

Definitions

QueryParam : Type

Visibility: public export

record HTTPURL : Type

Totality: total
Visibility: public export
Constructor: 

MkHTTPURL : String -> String -> Maybe Int -> String -> List QueryParam -> Maybe String -> HTTPURL

Projections:

.fragment : HTTPURL -> Maybe String

.host : HTTPURL -> String

.path : HTTPURL -> String

.port : HTTPURL -> Maybe Int

.query : HTTPURL -> List QueryParam

.scheme : HTTPURL -> String

Hints:

Eq HTTPURL

Show HTTPURL

.scheme : HTTPURL -> String

Visibility: public export

.host : HTTPURL -> String

Visibility: public export

scheme : HTTPURL -> String

Visibility: public export

host : HTTPURL -> String

Visibility: public export

.port : HTTPURL -> Maybe Int

Visibility: public export

port : HTTPURL -> Maybe Int

Visibility: public export

.path : HTTPURL -> String

Visibility: public export

path : HTTPURL -> String

Visibility: public export

.query : HTTPURL -> List QueryParam

Visibility: public export

query : HTTPURL -> List QueryParam

Visibility: public export

.fragment : HTTPURL -> Maybe String

Visibility: public export

fragment : HTTPURL -> Maybe String

Visibility: public export