rosso-1.0: General purpose utility library
Data.Map.Rosso1
Description
Extends Data.Map
Synopsis
module Data.Map
insertMany :: Ord k => [(k, a)] -> Map k a -> Map k aSource
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)Source
Simultaneous lookup and delete.