Idris2Doc : Network.HTTP.Protocol

Network.HTTP.Protocol

(source)

Definitions

dataProtocol : Type
Totality: total
Visibility: public export
Constructors:
HTTP : Protocol
HTTPS : Protocol

Hints:
DecEqProtocol
EqProtocol
GenericProtocol [[], []]
MetaProtocol [[], []]
ShowProtocol
protocol_port_number : Protocol->Bits16
Visibility: public export
protocol_from_str : String->MaybeProtocol
Visibility: public export