diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-03-22 22:52:39 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-03-22 22:52:39 +0100 |
| commit | b9e50633254a8c45159a6088309969872b8aae50 (patch) | |
| tree | bca7eb3e6f049fda54f17b168e711be4cfae5169 /src/Service.hs | |
| parent | 8d33ba4d499391c2aba98cefef61afb5290c7d15 (diff) | |
Use Data.Kind.Type instead of deprecated star symbol
Diffstat (limited to 'src/Service.hs')
| -rw-r--r-- | src/Service.hs | 5 |
1 files changed, 3 insertions, 2 deletions
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 |