delete package:ghc

Delete a key and its value from the map. When the key is not a member of the map, the original map is returned.

delete 5 (fromList [(5,"a"), (3,"b")]) == singleton 3 "b"
delete 7 (fromList [(5,"a"), (3,"b")]) == fromList [(3, "b"), (5, "a")]
delete 5 empty                         == empty

Delete a value in the set. Returns the original set when the value was not present.

Delete and find the maximal element. This function throws an error if the map is empty. Use maxViewWithKey if the map may be empty.

Delete and find the minimal element. This function throws an error if the map is empty. Use minViewWithKey if the map may be empty.

Delete the maximal key. Returns an empty map if the map is empty. Note that this is a change of behaviour for consistency with Map – versions prior to 0.5 threw an error if the Word64Map was already empty.

Delete the minimal key. Returns an empty map if the map is empty. Note that this is a change of behaviour for consistency with Map – versions prior to 0.5 threw an error if the Word64Map was already empty.

Delete and find the maximal element.

deleteFindMax set = (findMax set, deleteMax set)

Delete and find the minimal element.

deleteFindMin set = (findMin set, deleteMin set)

Delete the maximal element. Returns an empty set if the set is empty. Note that this is a change of behaviour for consistency with Set – versions prior to 0.5 threw an error if the Word64Set was already empty.

Delete the minimal element. Returns an empty set if the set is empty. Note that this is a change of behaviour for consistency with Set – versions prior to 0.5 threw an error if the Word64Set was already empty.

Delete an element from a warning category set.

delete x