Add HeadNoContent to Servant.API.Verbs (#1502)

As the head method isn't allowed to contain any response body, no
general Head Verb is added. (This may easily lead to wrong usages...)

(https://httpwg.org/specs/rfc7231.html#HEAD)
This commit is contained in:
Sven Tennie 2022-01-06 13:02:57 +01:00 committed by GitHub
parent 73c87bc2bc
commit c388c5e82c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -128,7 +128,8 @@ type DeleteNoContent = NoContentVerb 'DELETE
type PatchNoContent = NoContentVerb 'PATCH type PatchNoContent = NoContentVerb 'PATCH
-- | 'PUT' with 204 status code. -- | 'PUT' with 204 status code.
type PutNoContent = NoContentVerb 'PUT type PutNoContent = NoContentVerb 'PUT
-- | 'HEAD' with 204 status code.
type HeadNoContent = NoContentVerb 'HEAD
-- ** 205 Reset Content -- ** 205 Reset Content
-- --