diff --git a/src/Data/Abstract/Store.hs b/src/Data/Abstract/Store.hs index 54fe7918c..0f2678a50 100644 --- a/src/Data/Abstract/Store.hs +++ b/src/Data/Abstract/Store.hs @@ -28,6 +28,7 @@ deriving instance Traversable (Cell l) => Traversable (Store l) storeLookup :: Ord l => Address l a -> Store l a -> Maybe (Cell l a) storeLookup (Address address) = Map.lookup address . unStore +-- | Look up the list of values stored for a given address, if any. storeLookupAll :: (Ord l, Foldable (Cell l)) => Address l a -> Store l a -> Maybe [a] storeLookupAll address = fmap toList . storeLookup address