Add HeadNoContent to Servant.API.Verbs

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 10:49:17 +01:00
parent 73c87bc2bc
commit 6be41853f5

View File

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