@@ -149,10 +149,15 @@ type UserAPI5 = "user" :> Capture "userid" Integer :> Get '[JSON] User
149 -- except that we explicitly say that "userid"
149 -- except that we explicitly say that "userid"
150 -- must be an integer
150 -- must be an integer
152− :<|> "user" :> Capture "userid" Integer :> Delete '[] ()
152+ :<|> "user" :> Capture "userid" Integer :> DeleteNoContent '[JSON] NoContent
153 -- equivalent to 'DELETE /user/:userid'
153 -- equivalent to 'DELETE /user/:userid'
156+In the second case, `DeleteNoContent` specifies a 204 response code,
157+`JSON` specifies the content types on which the handler will match,
158+and `NoContent` is a Haskell type isomorphic to `()` used to represent
159+a trivial piece of information.
156### `QueryParam`, `QueryParams`, `QueryFlag`
161### `QueryParam`, `QueryParams`, `QueryFlag`
158`QueryParam`, `QueryParams` and `QueryFlag` are about query string
163`QueryParam`, `QueryParams` and `QueryFlag` are about query string