Data type describing the method (verb), response status code,
as well as encoding formats and content type (if any) of a HTTP
endpoint.
Please note that `format` and `result` refer to the format and
type of the content in the server's *response* body.
See `HTTP.API.Content` for a way to describe format and content type
in the HTTP *request* body.
Totality: total
Visibility: public export
Constructor: M : Method -> Status -> (0 _ : List Type) -> Maybe0 Type -> ReqMethod
Projections:
0 .formats : ReqMethod -> List Type.method : ReqMethod -> Method.result : ReqMethod -> Maybe0 Type.status : ReqMethod -> Status