Data.Map.Rosso1

Extends Data.Map

Documentation

module Data.Map

insertMany :: Ord k => [(k, a)] -> Map k a -> Map k a

Passes down the list from left to right, inserting each entry into the map.

extract :: Ord k => k -> Map k a -> (Maybe a, Map k a)

Simultaneous lookup and delete.