Idris2Doc : Network.HTTP.Header

Network.HTTP.Header

(source)

Definitions

dataHeader : Type
Totality: total
Visibility: public export
Constructors:
Host : Header
ContentType : Header
Accept : Header
Authorization : Header
Cookie : Header
SetCookie : Header
ContentLength : Header
Connection : Header
TransferEncoding : Header
ContentEncoding : Header
Location : Header
Unknown : String->Header

Hints:
DecEqHeader
EqHeader
FromStringHeader
GenericHeader [[], [], [], [], [], [], [], [], [], [], [], [String]]
MetaHeader [[], [], [], [], [], [], [], [], [], [], [], [String]]
OrdHeader
ShowHeader
Show (h : Header**header_value_typeh)
dataConnectionAction : Type
Totality: total
Visibility: public export
Constructors:
KeepAlive : ConnectionAction
Close : ConnectionAction

Hints:
DecEqConnectionAction
EqConnectionAction
GenericConnectionAction [[], []]
MetaConnectionAction [[], []]
OrdConnectionAction
ShowConnectionAction
dataTransferEncodingScheme : Type
Totality: total
Visibility: public export
Constructors:
Chunked : TransferEncodingScheme
Identity : TransferEncodingScheme

Hints:
DecEqTransferEncodingScheme
EqTransferEncodingScheme
GenericTransferEncodingScheme [[], []]
MetaTransferEncodingScheme [[], []]
OrdTransferEncodingScheme
ShowTransferEncodingScheme
dataContentEncodingScheme : Type
Totality: total
Visibility: public export
Constructors:
GZip : ContentEncodingScheme
Deflate : ContentEncodingScheme

Hints:
DecEqContentEncodingScheme
EqContentEncodingScheme
GenericContentEncodingScheme [[], []]
MetaContentEncodingScheme [[], []]
OrdContentEncodingScheme
ShowContentEncodingScheme
dataAuthorizationScheme : Type
Totality: total
Visibility: public export
Constructors:
BasicAuthorization : String->AuthorizationScheme
BearerAuthorization : String->AuthorizationScheme

Hints:
DecEqAuthorizationScheme
EqAuthorizationScheme
GenericAuthorizationScheme [[String], [String]]
MetaAuthorizationScheme [[String], [String]]
OrdAuthorizationScheme
ShowAuthorizationScheme
header_value_type : Header->Type
Visibility: public export
header_key_name : Header->String
Visibility: export
key_name_to_header : String->Header
Visibility: public export
header_parse_value : (header : Header) ->String->Maybe (header_value_typeheader)
Visibility: export
header_write_value : (header : Header) ->header_value_typeheader->String
Visibility: export
Headers : Type
Visibility: public export
eq_ignore_case : String->String->Bool
Visibility: export
lookup_header : List (String, String) -> (header : Header) ->Maybe (header_value_typeheader)
Visibility: export
lookup_headers : List (String, String) -> (header : Header) ->List (header_value_typeheader)
Visibility: export