Network.HTTP.Protocol

Definitions

data Protocol : Type

Totality: total
Visibility: public export
Constructors:

HTTP : Protocol

HTTPS : Protocol

Hints:

DecEq Protocol

Eq Protocol

Generic Protocol [[], []]

Meta Protocol [[], []]

Show Protocol

protocol_port_number : Protocol -> Bits16

Visibility: public export

protocol_from_str : String -> Maybe Protocol

Visibility: public export