From b9e50633254a8c45159a6088309969872b8aae50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Tue, 22 Mar 2022 22:52:39 +0100
Subject: Use Data.Kind.Type instead of deprecated star symbol

---
 src/Pairing.hs          | 3 ++-
 src/Service.hs          | 5 +++--
 src/Storage/Internal.hs | 3 ++-
 3 files changed, 7 insertions(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/Pairing.hs b/src/Pairing.hs
index 7c4b7e6..6545376 100644
--- a/src/Pairing.hs
+++ b/src/Pairing.hs
@@ -18,6 +18,7 @@ import Data.Bits
 import Data.ByteArray (Bytes, convert)
 import qualified Data.ByteArray as BA
 import qualified Data.ByteString.Char8 as BC
+import Data.Kind
 import Data.Maybe
 import qualified Data.Text as T
 import Data.Typeable
@@ -58,7 +59,7 @@ data PairingAttributes a = PairingAttributes
     }
 
 class (Typeable a, Storable a) => PairingResult a where
-    type PairingVerifiedResult a :: *
+    type PairingVerifiedResult a :: Type
     type PairingVerifiedResult a = a
 
     pairingServiceID :: proxy a -> ServiceID
diff --git a/src/Service.hs b/src/Service.hs
index 1d506aa..7d5c7e7 100644
--- a/src/Service.hs
+++ b/src/Service.hs
@@ -25,6 +25,7 @@ import Control.Monad.Reader
 import Control.Monad.State
 import Control.Monad.Writer
 
+import Data.Kind
 import Data.Typeable
 import Data.UUID (UUID)
 import qualified Data.UUID as U
@@ -44,13 +45,13 @@ class (Typeable s, Storable s, Typeable (ServiceState s), Typeable (ServiceGloba
     default defaultServiceAttributes :: ServiceAttributes s ~ Proxy s => proxy s -> ServiceAttributes s
     defaultServiceAttributes _ = Proxy
 
-    type ServiceState s :: *
+    type ServiceState s :: Type
     type ServiceState s = ()
     emptyServiceState :: proxy s -> ServiceState s
     default emptyServiceState :: ServiceState s ~ () => proxy s -> ServiceState s
     emptyServiceState _ = ()
 
-    type ServiceGlobalState s :: *
+    type ServiceGlobalState s :: Type
     type ServiceGlobalState s = ()
     emptyServiceGlobalState :: proxy s -> ServiceGlobalState s
     default emptyServiceGlobalState :: ServiceGlobalState s ~ () => proxy s -> ServiceGlobalState s
diff --git a/src/Storage/Internal.hs b/src/Storage/Internal.hs
index 3a05029..3a53567 100644
--- a/src/Storage/Internal.hs
+++ b/src/Storage/Internal.hs
@@ -22,6 +22,7 @@ import Data.Char
 import Data.Function
 import Data.Hashable
 import qualified Data.HashTable.IO as HT
+import Data.Kind
 import Data.List
 import Data.Map (Map)
 import qualified Data.Map as M
@@ -176,7 +177,7 @@ type Complete = Identity
 type Partial = Either RefDigest
 
 class (Traversable compl, Monad compl) => StorageCompleteness compl where
-    type LoadResult compl a :: *
+    type LoadResult compl a :: Type
     returnLoadResult :: compl a -> LoadResult compl a
     ioLoadBytes :: Ref' compl -> IO (compl BL.ByteString)
 
-- 
cgit v1.2.3