From 49bc432662cb952dc0b2604ff729d1e5931eb6bd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Sat, 2 Aug 2025 13:50:08 +0200
Subject: Function to compute symmetric difference between stored histories

---
 src/Erebos/Storage/Merge.hs | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'src/Erebos/Storage/Merge.hs')

diff --git a/src/Erebos/Storage/Merge.hs b/src/Erebos/Storage/Merge.hs
index 873a6b1..8221e91 100644
--- a/src/Erebos/Storage/Merge.hs
+++ b/src/Erebos/Storage/Merge.hs
@@ -17,6 +17,8 @@ module Erebos.Storage.Merge (
 
     findProperty,
     findPropertyFirst,
+
+    storedDifference,
 ) where
 
 import Control.Concurrent.MVar
@@ -172,3 +174,18 @@ findPropertyFirst sel = fmap (fromJust . sel . fromStored) . listToMaybe . filte
 findPropHeads :: forall a b. Storable a => (a -> Maybe b) -> Stored a -> [Stored a]
 findPropHeads sel sobj | Just _ <- sel $ fromStored sobj = [sobj]
                        | otherwise = findPropHeads sel =<< previous sobj
+
+
+-- | Compute symmetrict difference between two stored histories. In other
+-- words, return all 'Stored a' objects reachable (via 'previous') from first
+-- given set, but not from the second; and vice versa.
+storedDifference :: Storable a => [ Stored a ] -> [ Stored a ] -> [ Stored a ]
+storedDifference xs' ys' =
+    let xs = filterAncestors xs'
+        ys = filterAncestors ys'
+
+        filteredPrevious blocked zs = filterAncestors (previous zs ++ blocked) `diffSorted` blocked
+        xg = S.toAscList $ NE.last $ generationsBy (filteredPrevious ys) $ filterAncestors (xs ++ ys) `diffSorted` ys
+        yg = S.toAscList $ NE.last $ generationsBy (filteredPrevious xs) $ filterAncestors (ys ++ xs) `diffSorted` xs
+
+     in xg `mergeUniq` yg
-- 
cgit v1.2.3