From c27b3c23ecdd53acdbfece747b9bbdb39bf4dae9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Sun, 27 Aug 2023 18:33:16 +0200
Subject: Replace storedStorage usage with MonadHead

---
 src/Storage.hs | 23 +++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)

(limited to 'src/Storage.hs')

diff --git a/src/Storage.hs b/src/Storage.hs
index d5d14e3..69e8ab6 100644
--- a/src/Storage.hs
+++ b/src/Storage.hs
@@ -25,6 +25,8 @@ module Storage (
     WatchedHead,
     watchHead, watchHeadWith, unwatchHead,
 
+    MonadStorage(..),
+
     Storable(..), ZeroStorable(..),
     StorableText(..), StorableDate(..), StorableUUID(..),
 
@@ -41,7 +43,7 @@ module Storage (
     loadZRef,
 
     Stored,
-    fromStored, storedRef, storedStorage,
+    fromStored, storedRef,
     wrappedStore, wrappedLoad,
     copyStored,
 
@@ -525,6 +527,22 @@ unwatchHead (WatchedHead st wid _) = do
         StorageMemory { memWatchers = mvar } -> modifyMVar_ mvar $ return . delWatcher
 
 
+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
+
+instance MonadIO m => MonadStorage (ReaderT (Head a) m) where
+    getStorage = asks $ headStorage
+
+
 class Storable a where
     store' :: a -> Store
     load' :: Load a
@@ -862,9 +880,6 @@ fromStored (Stored _ x) = x
 storedRef :: Stored a -> Ref
 storedRef (Stored ref _) = ref
 
-storedStorage :: Stored a -> Storage
-storedStorage (Stored (Ref st _) _) = st
-
 wrappedStore :: MonadIO m => Storable a => Storage -> a -> m (Stored a)
 wrappedStore st x = do ref <- liftIO $ store st x
                        return $ Stored ref x
-- 
cgit v1.2.3