Idris2Doc : Network.HTTP.Method

Network.HTTP.Method

(source)
Definitions
data Method : Type
  Totality: total
  Visibility: public export
  Constructors:
  
GET : Method
  
HEAD : Method
  
POST : Method
  
PUT : Method
  
DELETE : Method
  
CONNECT : Method
  
OPTIONS : Method
  
PATCH : Method
  
Custom : String -> Method

  Hints:
  
DecEq Method
  
Eq Method
  
FromString Method
  
Generic Method [[], [], [], [], [], [], [], [], [String]]
  
Meta Method [[], [], [], [], [], [], [], [], [String]]
  
Ord Method
  
Show Method
http_method_to_string : Method -> String
  Visibility: export
string_to_http_method : String -> Method
  Visibility: export