@@ -27,6 +27,8 @@ module Servant.API (
27 module Servant.API.Delete,
27 module Servant.API.Delete,
28 -- | PUT requests
28 -- | PUT requests
29 module Servant.API.Put,
29 module Servant.API.Put,
31+ module Servant.API.Patch,
31 -- * Untyped endpoints
33 -- * Untyped endpoints
32 -- | Plugging in a wai 'Network.Wai.Application', serving directories
34 -- | Plugging in a wai 'Network.Wai.Application', serving directories
@@ -46,6 +48,7 @@ import Servant.API.Get ( Get )
46import Servant.API.Header ( Header )
48import Servant.API.Header ( Header )
47import Servant.API.Post ( Post )
49import Servant.API.Post ( Post )
48import Servant.API.Put ( Put )
50import Servant.API.Put ( Put )
51+import Servant.API.Patch ( Patch )
49import Servant.API.QueryParam ( QueryFlag, QueryParams, QueryParam )
52import Servant.API.QueryParam ( QueryFlag, QueryParams, QueryParam )
50import Servant.API.MatrixParam ( MatrixFlag, MatrixParams, MatrixParam )
53import Servant.API.MatrixParam ( MatrixFlag, MatrixParams, MatrixParam )
51import Servant.API.Raw ( Raw )
54import Servant.API.Raw ( Raw )