diff options
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 |