diff --git a/src/Data/Abstract/Store.hs b/src/Data/Abstract/Store.hs index 0f2678a50..ef6703cc2 100644 --- a/src/Data/Abstract/Store.hs +++ b/src/Data/Abstract/Store.hs @@ -33,7 +33,7 @@ storeLookupAll :: (Ord l, Foldable (Cell l)) => Address l a -> Store l a -> Mayb storeLookupAll address = fmap toList . storeLookup address storeInsert :: (Ord l, Semigroup (Cell l a), Pointed (Cell l)) => Address l a -> a -> Store l a -> Store l a -storeInsert = (((Store .) . (. unStore)) .) . (. point) . Map.insertWith (<>) . unAddress +storeInsert (Address address) value = Store . Map.insertWith (<>) address (point value) . unStore storeSize :: Store l a -> Int storeSize = Map.size . unStore