From 88a7bb50033baab3c2d0eed7e4be868e8966300a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Fri, 17 Nov 2023 20:28:44 +0100
Subject: Split to library and executable parts

---
 src/Set.hs | 78 --------------------------------------------------------------
 1 file changed, 78 deletions(-)
 delete mode 100644 src/Set.hs

(limited to 'src/Set.hs')

diff --git a/src/Set.hs b/src/Set.hs
deleted file mode 100644
index 263103f..0000000
--- a/src/Set.hs
+++ /dev/null
@@ -1,78 +0,0 @@
-module Set (
-    Set,
-
-    emptySet,
-    loadSet,
-    storeSetAdd,
-
-    fromSetBy,
-) where
-
-import Control.Arrow
-import Control.Monad.IO.Class
-
-import Data.Function
-import Data.List
-import Data.Map (Map)
-import Data.Map qualified as M
-import Data.Maybe
-import Data.Ord
-
-import Storage
-import Storage.Merge
-import Util
-
-data Set a = Set [Stored (SetItem (Component a))]
-
-data SetItem a = SetItem
-    { siPrev :: [Stored (SetItem a)]
-    , siItem :: [Stored a]
-    }
-
-instance Storable a => Storable (SetItem a) where
-    store' x = storeRec $ do
-        mapM_ (storeRef "PREV") $ siPrev x
-        mapM_ (storeRef "item") $ siItem x
-
-    load' = loadRec $ SetItem
-        <$> loadRefs "PREV"
-        <*> loadRefs "item"
-
-instance Mergeable a => Mergeable (Set a) where
-    type Component (Set a) = SetItem (Component a)
-    mergeSorted = Set
-    toComponents (Set items) = items
-
-
-emptySet :: Set a
-emptySet = Set []
-
-loadSet :: Mergeable a => Ref -> Set a
-loadSet = mergeSorted . (:[]) . wrappedLoad
-
-storeSetAdd :: (Mergeable a, MonadIO m) => Storage -> a -> Set a -> m (Set a)
-storeSetAdd st x (Set prev) = Set . (:[]) <$> wrappedStore st SetItem
-    { siPrev = prev
-    , siItem = toComponents x
-    }
-
-
-fromSetBy :: forall a. Mergeable a => (a -> a -> Ordering) -> Set a -> [a]
-fromSetBy cmp (Set heads) = sortBy cmp $ map merge $ groupRelated items
-  where
-    -- gather all item components in the set history
-    items :: [Stored (Component a)]
-    items = walkAncestors (siItem . fromStored) heads
-
-    -- map individual roots to full root set as joined in history of individual items
-    rootToRootSet :: Map RefDigest [RefDigest]
-    rootToRootSet = foldl' (\m rs -> foldl' (\m' r -> M.insertWith (\a b -> uniq $ sort $ a++b) r rs m') m rs) M.empty $
-        map (map (refDigest . storedRef) . storedRoots) items
-
-    -- get full root set for given item component
-    storedRootSet :: Stored (Component a) -> [RefDigest]
-    storedRootSet = fromJust . flip M.lookup rootToRootSet . refDigest . storedRef . head . storedRoots
-
-    -- group components of single item, i.e. components sharing some root
-    groupRelated :: [Stored (Component a)] -> [[Stored (Component a)]]
-    groupRelated = map (map fst) . groupBy ((==) `on` snd) . sortBy (comparing snd) . map (id &&& storedRootSet)
-- 
cgit v1.2.3