From 3bd3dbaaf6c840e05b90da8a8fd1e051cf473255 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Wed, 12 Aug 2026 21:41:28 +0200
Subject: Key handling in MonadStorage class

---
 src/Erebos/Storable/Internal.hs | 18 +-----------------
 1 file changed, 1 insertion(+), 17 deletions(-)

(limited to 'src/Erebos/Storable')

diff --git a/src/Erebos/Storable/Internal.hs b/src/Erebos/Storable/Internal.hs
index 70b5fdc..72b70e1 100644
--- a/src/Erebos/Storable/Internal.hs
+++ b/src/Erebos/Storable/Internal.hs
@@ -10,8 +10,6 @@ module Erebos.Storable.Internal (
     unsafeMapStored,
 
     collectObjects, collectStoredObjects,
-
-    MonadStorage(..),
 ) where
 
 import Control.Monad.Reader
@@ -20,9 +18,8 @@ import Data.Function
 import Data.Set (Set)
 import Data.Set qualified as S
 
-import Erebos.Storage.Internal
-
 import Erebos.Object.Internal
+import Erebos.Storage.Internal
 
 
 data Stored a = Stored
@@ -88,16 +85,3 @@ collectOtherStored seen (Rec items) = foldr helper ( [], seen ) $ map snd items
                  in ((o : xs') ++ xs, s')
           helper _ ( xs, s ) = ( xs, s )
 collectOtherStored seen _ = ( [], seen )
-
-
-class Monad m => MonadStorage m where
-    getStorage :: m Storage
-    mstore :: Storable a => a -> m (Stored a)
-
-    default mstore :: MonadIO m => Storable a => a -> m (Stored a)
-    mstore x = do
-        st <- getStorage
-        wrappedStore st x
-
-instance MonadIO m => MonadStorage (ReaderT Storage m) where
-    getStorage = ask
-- 
cgit v1.2.3