git.iko.soy/typeable/servant
on master help sign in
Make method non poly-kinded in Verb
e598917Gaël Deest
servant/src/Servant/API/Verbs.hs+2−2
@@ -26,13 +26,13 @@ import Network.HTTP.Types.Method
26-- provided, but you are free to define your own:
26-- provided, but you are free to define your own:
27--
27--
28-- >>> type Post204 contentTypes a = Verb 'POST 204 contentTypes a
28-- >>> type Post204 contentTypes a = Verb 'POST 204 contentTypes a
29−data Verb (method :: k1) (statusCode :: Nat) (contentTypes :: [*]) (a :: *)
29+data Verb (method :: StdMethod) (statusCode :: Nat) (contentTypes :: [*]) (a :: *)
30 deriving (Typeable, Generic)
30 deriving (Typeable, Generic)
31
31
32-- | @NoContentVerb@ is a specific type to represent 'NoContent' responses.
32-- | @NoContentVerb@ is a specific type to represent 'NoContent' responses.
33-- It does not require either a list of content types (because there's
33-- It does not require either a list of content types (because there's
34-- no content) or a status code (because it should always be 204).
34-- no content) or a status code (because it should always be 204).
35−data NoContentVerb (method :: k1)
35+data NoContentVerb (method :: StdMethod)
36 deriving (Typeable, Generic)
36 deriving (Typeable, Generic)
37
37
38-- * 200 responses
38-- * 200 responses