diff options
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 |