Aggregate networkId and version into ExplorerState

Note that there is a lot of code that can be DRYed and the aggregation is generally very conservative, not updating data if matching heads are found even in presence of potentially different observation data. Added property tests for network and version not being updated to make that clear.
cardano-scaling · Jan 31, 2025 · 2a2033c · 2a2033c
1 parent 2e41821
commit 2a2033c
Show file tree

Hide file tree

Showing 4 changed files with 264 additions and 104 deletions.
diff --git a/hydra-explorer/src/Hydra/Explorer.hs b/hydra-explorer/src/Hydra/Explorer.hs
@@ -100,7 +100,6 @@ aggregator :: PopObservation -> ModifyExplorerState -> IO ()
 aggregator popObservation modifyExplorerState =
   forever $ do
     -- TODO: IO does not compose as well as STM
-    -- FIXME: use network and version
     (network, version, observation) <- popObservation
     modifyExplorerState $ aggregateObservation network version observation