From 03c1f809b23d5ab1613ce5633acc9706469587c1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sun, 2 Aug 2026 20:57:05 +0200 Subject: Make head caches available in service storage watchers --- src/Erebos/State.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/Erebos/State.hs') diff --git a/src/Erebos/State.hs b/src/Erebos/State.hs index d74dddb..3774d87 100644 --- a/src/Erebos/State.hs +++ b/src/Erebos/State.hs @@ -11,7 +11,7 @@ module Erebos.State ( updateLocalState, updateLocalState_, updateSharedState, updateSharedState_, - lookupSharedValueH, lookupSharedValueM, + lookupSharedValueH, lookupSharedValueHC, lookupSharedValueM, lookupSharedValue, makeSharedStateUpdate, localIdentity, @@ -234,6 +234,9 @@ lookupSharedValueC = mergeSorted . filterAncestors . map wrappedLoad . concatMap lookupSharedValueH :: forall a. SharedType a => Head LocalState -> a lookupSharedValueH = lookupSharedValueC . headCache +lookupSharedValueHC :: forall a. SharedType a => Stored LocalState -> HeadCacheType LocalState -> a +lookupSharedValueHC _ = lookupSharedValueC + lookupSharedValueM :: forall a m. (SharedType a, MonadHead LocalState m) => m a lookupSharedValueM = lookupSharedValueC <$> getLocalHeadCache @LocalState Proxy -- cgit v1.2.3