@@ -70,7 +70,22 @@ import Servant.API.ResponseHeaders (AddHeader (addHeader),
7070 getHeadersHList, getResponse)
7171import Servant.API.Sub ((:>))
7272import Servant.API.Vault (Vault)
73−import Servant.API.Verbs (Delete, Get, Patch, Post, Put,
73+import Servant.API.Verbs (Created, Delete, DeleteAccepted,
74+ DeleteNoContent,
75+ DeleteNonAuthoritative, Get,
76+ GetAccepted, GetNoContent,
77+ GetNonAuthoritative,
78+ GetPartialContent,
79+ GetResetContent,
80+ NoContent (NoContent), Patch,
81+ PatchAccepted, PatchNoContent,
82+ PatchNoContent,
83+ PatchNonAuthoritative, Post,
84+ PostAccepted, PostNoContent,
85+ PostNonAuthoritative,
86+ PostResetContent, Put,
87+ PutAccepted, PutNoContent,
88+ PutNoContent, PutNonAuthoritative,
7489 ReflectMethod (reflectMethod),
7590 Verb)
7691import Servant.Utils.Links (HasLink (..), IsElem, IsElem',