Network.HTTP.Header

Definitions

data Header : 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:

DecEq Header

Eq Header

FromString Header

Generic Header [[], [], [], [], [], [], [], [], [], [], [], [String]]

Meta Header [[], [], [], [], [], [], [], [], [], [], [], [String]]

Ord Header

Show Header

Show (h : Header ** header_value_type h)

data ConnectionAction : Type

Totality: total
Visibility: public export
Constructors:

KeepAlive : ConnectionAction

Close : ConnectionAction

Hints:

DecEq ConnectionAction

Eq ConnectionAction

Generic ConnectionAction [[], []]

Meta ConnectionAction [[], []]

Ord ConnectionAction

Show ConnectionAction

data TransferEncodingScheme : Type

Totality: total
Visibility: public export
Constructors:

Chunked : TransferEncodingScheme

Identity : TransferEncodingScheme

Hints:

DecEq TransferEncodingScheme

Eq TransferEncodingScheme

Generic TransferEncodingScheme [[], []]

Meta TransferEncodingScheme [[], []]

Ord TransferEncodingScheme

Show TransferEncodingScheme

data ContentEncodingScheme : Type

Totality: total
Visibility: public export
Constructors:

GZip : ContentEncodingScheme

Deflate : ContentEncodingScheme

Hints:

DecEq ContentEncodingScheme

Eq ContentEncodingScheme

Generic ContentEncodingScheme [[], []]

Meta ContentEncodingScheme [[], []]

Ord ContentEncodingScheme

Show ContentEncodingScheme

data AuthorizationScheme : Type

Totality: total
Visibility: public export
Constructors:

BasicAuthorization : String -> AuthorizationScheme

BearerAuthorization : String -> AuthorizationScheme

Hints:

DecEq AuthorizationScheme

Eq AuthorizationScheme

Generic AuthorizationScheme [[String], [String]]

Meta AuthorizationScheme [[String], [String]]

Ord AuthorizationScheme

Show AuthorizationScheme

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_type header)

Visibility: export

header_write_value : (header : Header) -> header_value_type header -> 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_type header)

Visibility: export

lookup_headers : List (String, String) -> (header : Header) -> List (header_value_type header)

Visibility: export