Pact.WAI.Method

HTTP methods

Definitions

data Method : Type

  HTTP method enum
  Defines supported HTTP request methods

Totality: total
Visibility: public export
Constructors:

HEAD : Method

CONNECT : Method

OPTIONS : Method

TRACE : Method

GET : Method

POST : Method

PUT : Method

PATCH : Method

DELETE : Method

Hints:

Eq Method

Ord Method

Show Method

method : String -> Either HTTPErr Method

  Parse HTTP method string
  
  Converts a string to a Method enum value
  @ s Method string (e.g. "GET", "POST", etc.)

Visibility: public export