HTTP.Header

(source)

Reexports

import public HTTP.Header.Types

Definitions

record Headers : Type

Totality: total
Visibility: export
Constructor:

MkHeaders : HeaderMap -> Headers

Projection:

.headers : Headers -> HeaderMap

kvList : Headers -> List (String, ByteString)

  Converts a set of HTTP headers to a list of name-value pairs.

Totality: total
Visibility: export

emptyHeaders : Headers

Totality: total
Visibility: export

insertHeader : String -> ByteString -> Headers -> Headers

  Inserts a name-value pair into a set of header.
  
  Since HTTP header names are case-insensitive, the name
  will be converted to all upper-case letters.

Totality: total
Visibility: export

lookupUpperCaseHeader : String -> Headers -> Maybe ByteString

  Looks up the header of the given name.
  
  `name` has to be in all upper-case letters.

Totality: total
Visibility: export

lookupHeader : String -> Headers -> Maybe ByteString

  Looks up the header of the given name.
  
  `name` is converted to all upper-case letters before
  searching in the dictionary of headers. Use `lookupUpperCaseHeader`
  if `name` is already in upper-case letters.

Totality: total
Visibility: export

Accept : String

Totality: total
Visibility: public export

Authorization : String

Totality: total
Visibility: public export

Content_Length : String

Totality: total
Visibility: public export

Content_Type : String

Totality: total
Visibility: public export

Content_Disposition : String

Totality: total
Visibility: public export

accept : Headers -> MediaRanges

  Reads the `Accept` header and converts it to a list of media types.

Totality: total
Visibility: export

acceptsMedia : Headers -> MediaType -> Bool

  Checks if the given media type can be handled according to
  the given request headers.

Totality: total
Visibility: export

contentDisposition : Headers -> Maybe ContentDisp

  Reads the `Content-Disposition` header and converts it to a media type.

Totality: total
Visibility: export

contentType : Headers -> Maybe ContentType

  Reads the `Content-Type` header and converts it to a media type.

Totality: total
Visibility: export

hasContentType : Headers -> MediaType -> Bool

  Checks if the given media type corresponds to the media type
  of the request's content.

Totality: total
Visibility: export

contentLength : Headers -> Nat

  Reads the `Content-Length` header and converts it to a natural number

Totality: total
Visibility: export

parseHeaders : Origin -> ByteString -> Either (ParseError Void) Headers

Totality: total
Visibility: export

parseHeadersMay : ByteString -> Maybe Headers

Totality: total
Visibility: export

testParseHeaders : ByteString -> IO ()

Totality: total
Visibility: export