blob: 0abe02dc04c8a83c332e409bfee98e89863b655a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
module Erebos.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 Erebos.Storage
import Erebos.Storage.Merge
import Erebos.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)
|