The Http effect (#57) only provides get and post operations. RESTful APIs commonly use PUT, PATCH, and DELETE methods for resource updates and deletion.

Impact

Cannot interact with REST APIs that require methods beyond GET and POST.

Possible fix

Add operations:

effect Http {
  op get(String -> Result<String, String>);
  op post(String, String -> Result<String, String>);
  op put(String, String -> Result<String, String>);
  op patch(String, String -> Result<String, String>);
  op delete(String -> Result<String, String>);
}

Related: #57 (Http effect), #351 (headers), #352 (status codes)