Add PATCH method

This commit is contained in:
Timo von Holtz 2015-02-10 11:06:42 +11:00
parent 4eb943021f
commit 59a20b2974
2 changed files with 4 additions and 0 deletions

View file

@ -31,6 +31,7 @@ library
Servant.API.Delete Servant.API.Delete
Servant.API.Get Servant.API.Get
Servant.API.Header Servant.API.Header
Servant.API.Patch
Servant.API.Post Servant.API.Post
Servant.API.Put Servant.API.Put
Servant.API.QueryParam Servant.API.QueryParam

View file

@ -27,6 +27,8 @@ module Servant.API (
module Servant.API.Delete, module Servant.API.Delete,
-- | PUT requests -- | PUT requests
module Servant.API.Put, module Servant.API.Put,
-- | PATCH requests
module Servant.API.Patch,
-- * Untyped endpoints -- * Untyped endpoints
-- | Plugging in a wai 'Network.Wai.Application', serving directories -- | Plugging in a wai 'Network.Wai.Application', serving directories
@ -46,6 +48,7 @@ import Servant.API.Get ( Get )
import Servant.API.Header ( Header ) import Servant.API.Header ( Header )
import Servant.API.Post ( Post ) import Servant.API.Post ( Post )
import Servant.API.Put ( Put ) import Servant.API.Put ( Put )
import Servant.API.Patch ( Patch )
import Servant.API.QueryParam ( QueryFlag, QueryParams, QueryParam ) import Servant.API.QueryParam ( QueryFlag, QueryParams, QueryParam )
import Servant.API.MatrixParam ( MatrixFlag, MatrixParams, MatrixParam ) import Servant.API.MatrixParam ( MatrixFlag, MatrixParams, MatrixParam )
import Servant.API.Raw ( Raw ) import Servant.API.Raw ( Raw )