From 48ac9e284a147c60473374bb65cfc46397df86a8 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 20 Dec 2017 17:17:39 -0500 Subject: [PATCH] :memo: storeLookup. --- src/Data/Abstract/Store.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Data/Abstract/Store.hs b/src/Data/Abstract/Store.hs index b1842b622..54fe7918c 100644 --- a/src/Data/Abstract/Store.hs +++ b/src/Data/Abstract/Store.hs @@ -24,6 +24,7 @@ deriving instance Foldable (Cell l) => Foldable (Store l) deriving instance Functor (Cell l) => Functor (Store l) deriving instance Traversable (Cell l) => Traversable (Store l) +-- | Look up the cell of values for an 'Address' in a 'Store', if any. storeLookup :: Ord l => Address l a -> Store l a -> Maybe (Cell l a) storeLookup (Address address) = Map.lookup address . unStore