git.iko.soy/typeable/servant
on master help sign in
Make method non poly-kinded in Verb
commite5989175bede002c3b8cffbc26bbc60bf8f82a8b authorGaël Deest <gael.deest@tweag.io> dateThu 3 Feb 2022, 13:49 (5 years ago) parentae75b54
1 file changed+2−2
servant/src/Servant/API/Verbs.hs+2−2
servant/src/Servant/API/Verbs.hs+2−2
@@ -26,13 +26,13 @@ import Network.HTTP.Types.Method
2626-- provided, but you are free to define your own:
2727--
2828-- >>> 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 :: *)
3030 deriving (Typeable, Generic)
3131
3232-- | @NoContentVerb@ is a specific type to represent 'NoContent' responses.
3333-- It does not require either a list of content types (because there's
3434-- no content) or a status code (because it should always be 204).
35−data NoContentVerb (method :: k1)
35+data NoContentVerb (method :: StdMethod)
3636 deriving (Typeable, Generic)
3737
3838-- * 200 responses