make it work with ghc 9.6

Author: ersran9

webapi-contract/src/WebApi/ContentTypes.hs

@@ -68,6 +68,7 @@ import           Network.HTTP.Media.MediaType
 import           Network.HTTP.Media                 (mapContentMedia)
 import           WebApi.Util
 import           Data.ByteString.Builder (lazyByteString, Builder)
+import           Data.Kind ( Type )
 
 
 -- | Type representing content type of @text/html@.
@@ -83,7 +84,7 @@ data MultipartFormData
 data UrlEncoded
 
 -- | Encodings of type for all content types `ctypes`.
-class Encodings (ctypes :: [*]) a where
+class Encodings (ctypes :: [Type]) a where
   encodings :: Proxy ctypes -> a -> [(MediaType, Builder)]
 
 instance ( Accept ctype
@@ -96,7 +97,7 @@ instance Encodings '[] a where
   encodings _ _ = []
 
 -- | Decodings of type for all content types `ctypes`.
-class Decodings (ctypes :: [*]) a where
+class Decodings (ctypes :: [Type]) a where
   decodings :: Proxy ctypes -> ByteString -> [(MediaType, Either String a)]
 
 instance ( Accept ctype
@@ -202,7 +203,7 @@ instance Decode HTML Html where
 html :: ByteString -> Html
 html = Html
 
-class PartEncodings (xs :: [*]) where
+class PartEncodings (xs :: [Type]) where
   partEncodings :: Proxy xs
                   -> HListToRecTuple (StripContents xs)
                   -> [[(MediaType, Builder)]]
@@ -213,7 +214,7 @@ instance (PartEncodings ts, Encodings ctypes (StripContent t), MkContent t ~ Con
 instance PartEncodings '[] where
   partEncodings _ () = []
 
-class PartDecodings (xs :: [*]) where
+class PartDecodings (xs :: [Type]) where
   partDecodings :: Proxy xs -> [(SB.ByteString, ByteString)] -> Either String (HListToRecTuple (StripContents xs))
 
 instance (PartDecodings ts, Decodings ctypes (StripContent t), MkContent t ~ Content ctypes a) => PartDecodings (t ': ts) where

webapi-contract/src/WebApi/Method.hs

@@ -32,6 +32,7 @@ import           Data.ByteString.Char8 (pack)
 import           Data.Proxy
 import           GHC.TypeLits
 import           Network.HTTP.Types
+import           Data.Kind ( Type )
 
 -- | Type representing a GET method.
 data GET
@@ -55,7 +56,7 @@ data CONNECT
 data CUSTOM (m :: Symbol)
 
 -- | Singleton class for method types.
-class SingMethod (meth :: *) where
+class SingMethod (meth :: Type) where
   singMethod :: Proxy meth -> Method
 
 instance SingMethod GET where

webapi-contract/webapi-contract.cabal

@@ -22,12 +22,12 @@ source-repository head
 
 common lib-common
   build-depends:       base                 >= 4.7      && < 5
-                     , text                 >= 1.2      && < 2
+                     , text                 >= 1.2      && < 2.2
                      , bytestring           >= 0.10.6.0 && < 0.12
                      , http-types           >= 0.8.6    && < 0.13
-                     , aeson                >= 0.9      && < 2.2
+                     , aeson                >= 0.9      && < 2.4
                      , http-media           >= 0.6      && < 0.9
-                     , time                 >= 1.5      && < 1.12
+                     , time                 >= 1.5      && < 1.13
                      , bytestring-lexing    == 0.5.*
                      , bytestring-trie      == 0.2.*
                      , case-insensitive     == 1.2.*

webapi/webapi.cabal

@@ -32,10 +32,10 @@ library
 
   -- other-extensions:
   build-depends:       base               >= 4.7  && < 5
-                     , aeson              >= 0.9  && < 2.2
+                     , aeson              >= 0.9  && < 2.4
                      , bytestring         >= 0.10.6.0 && < 0.12
-                     , text               >= 1.2  && < 2
-                     , time               >= 1.5  && < 1.12
+                     , text               >= 1.2  && < 2.2
+                     , time               >= 1.5  && < 1.13
                      , wai-extra          >= 3.0  && < 3.3
                      , http-types         >= 0.8  && < 0.13
                      , http-media         >= 0.6  && < 0.9
@@ -77,10 +77,10 @@ test-suite unit-tests
                      , http-types        >= 0.8  && < 0.13
                      , hspec             >= 2.1  && < 2.8
                      , hspec-wai         >= 0.6  && < 0.11
-                     , text              >= 1.2  && < 1.3
+                     , text              >= 1.2  && < 2.2
                      , bytestring        >= 0.10.6.0 && < 0.11
                      , vector            >= 0.10 && < 0.13
-                     , time              >= 1.5  && < 1.10
+                     , time              >= 1.5  && < 1.13
                      , QuickCheck        >= 2.8  && < 2.15
                      , binary            == 0.8.*
                      , webapi