Skip to content

Commit c388c5e

Browse files
authored
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)
1 parent 73c87bc commit c388c5e

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

servant/src/Servant/API/Verbs.hs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,8 @@ type DeleteNoContent = NoContentVerb 'DELETE
128128
type PatchNoContent = NoContentVerb 'PATCH
129129
-- | 'PUT' with 204 status code.
130130
type PutNoContent = NoContentVerb 'PUT
131-
131+
-- | 'HEAD' with 204 status code.
132+
type HeadNoContent = NoContentVerb 'HEAD
132133

133134
-- ** 205 Reset Content
134135
--

0 commit comments

Comments
 (0)