Pact.WAI.Version

HTTP versions

Definitions

data Version : Type

  HTTP version enum
  Defines supported HTTP protocol versions

Totality: total
Visibility: public export
Constructors:

V10 : Version

V11 : Version

V20 : Version

Hints:

Eq Version

Ord Version

Show Version

version : String -> Either HTTPErr Version

  Parse HTTP version string
  
  Convert string to Version enum value
  @ s Version string (e.g. "HTTP/1.0", "HTTP/1.1", etc.)

Visibility: public export