diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-02 20:57:05 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-15 23:12:45 +0200 |
| commit | 03c1f809b23d5ab1613ce5633acc9706469587c1 (patch) | |
| tree | 979583b6734e57f6489860bd7932a79ca397b8be /src/Erebos/State.hs | |
| parent | baa678abb2d355779c3184b7302e1c00a0498829 (diff) | |
Make head caches available in service storage watchers
Diffstat (limited to 'src/Erebos/State.hs')
| -rw-r--r-- | src/Erebos/State.hs | 5 |
1 files changed, 4 insertions, 1 deletions
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 |