insertWithKey package:refined-containers

insertWithKey :: forall s k a . Hashable k => (Key s k -> a -> a -> a) -> k -> a -> HashMap s k a -> SomeHashMapWith (InsertProof 'Hashed k s) k a

refined-containers Data.HashMap.Refined Data.HashMap.Strict.Refined

Insert a key-value pair into the map to obtain a potentially larger map, guaranteed to contain the given key. Like insertWith, but the combining function has access to the key, which is guaranteed to be in the old map.

insertWithKey :: forall s a . (Key s -> a -> a -> a) -> Int -> a -> IntMap s a -> SomeIntMapWith (InsertProof 'Int Int s) a

refined-containers Data.IntMap.Refined Data.IntMap.Strict.Refined

Insert a key-value pair into the map to obtain a potentially larger map, guaranteed to contain the given key. Like insertWith, but the combining function has access to the key, which is guaranteed to be in the old map.

insertWithKey :: forall s k a . Ord k => (Key s k -> a -> a -> a) -> k -> a -> Map s k a -> SomeMapWith (InsertProof 'Regular k s) k a

refined-containers Data.Map.Refined Data.Map.Strict.Refined

Insert a key-value pair into the map to obtain a potentially larger map, guaranteed to contain the given key. Like insertWith, but the combining function has access to the key, which is guaranteed to be in the old map.