HTTP.Parser.Util

Reexports

Definitions

byte_percent : Bits8

Totality: total
Visibility: public export

byte_equals : Bits8

Totality: total
Visibility: public export

byte_questionmark : Bits8

Totality: total
Visibility: public export

byte_ampersand : Bits8

Totality: total
Visibility: public export

hex : Bits8 -> Bits8

Totality: total
Visibility: export

escape : Bits8 -> ByteString

Totality: total
Visibility: export

uriEscape : (Bits8 -> Bool) -> ByteString -> ByteString

  URI-escapes all bytes for which the given predicate does
  not return `True`.
  
  An escaped byte is represented as two hexadecimal digits prefixed by
  a "percent" character ('%').

Totality: total
Visibility: export

uriUnescape : ByteString -> ByteString

  Converts all escape sequences (see `uriEscape`) in a byte string
  to the corresponding bytes.
  
  Note: This is an internal function and should only be invoked
        with correctly escaped byte strings.

Totality: total
Visibility: export

OCTETT : Set8

Totality: total
Visibility: export

ALPHA : Set32

Totality: total
Visibility: export

BIT : Set32

Totality: total
Visibility: export

DIGIT : Set32

Totality: total
Visibility: export

HEXDIG : Set32

Totality: total
Visibility: export

CHAR : Set32

Totality: total
Visibility: export

CTL : Set32

Totality: total
Visibility: export

VCHAR : Set32

Totality: total
Visibility: export

tokenChar : Set32

Totality: total
Visibility: export

CR : RExp True

Totality: total
Visibility: public export

LF : RExp True

Totality: total
Visibility: public export

CRLF : RExp True

Totality: total
Visibility: public export

DQUOTE : RExp True

Totality: total
Visibility: public export

HTAB : RExp True

Totality: total
Visibility: public export

SP : RExp True

Totality: total
Visibility: public export

WSP : RExp True

Totality: total
Visibility: public export

OWS : RExp False

  Optional whitespace

Totality: total
Visibility: export

BWS : RExp False

Totality: total
Visibility: export

pctEncoded : RExp True

Totality: total
Visibility: public export