diff options
| -rw-r--r-- | src/Pairing.hs | 3 | ||||
| -rw-r--r-- | src/Service.hs | 5 | ||||
| -rw-r--r-- | src/Storage/Internal.hs | 3 |
3 files changed, 7 insertions, 4 deletions
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) |