From b9e50633254a8c45159a6088309969872b8aae50 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Tue, 22 Mar 2022 22:52:39 +0100 Subject: Use Data.Kind.Type instead of deprecated star symbol --- src/Service.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/Service.hs') 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 -- cgit v1.2.3