|
|
|
|
|
|
Synopsis |
|
|
|
|
Mappings keyed from arbitrary types
|
|
|
A finite mapping from (orderable) key types to elements
| Instances | |
|
|
Manipulating those mappings
|
|
|
|
|
|
|
In the case of duplicates keys, the last item is taken
|
|
|
Throws away any previous binding
|
|
|
Combines added item with previous item, if any
|
|
|
Throws away any previous binding, items are added left-to-right
|
|
|
Combines added item with previous item, if any, items are added left-to-right
|
|
|
Deletion doesn't complain if you try to delete something which isn't there
|
|
|
Deletion doesn't complain if you try to delete something which isn't there
|
|
|
Bindings in right argument shadow those in the left
|
|
|
Combines bindings for the same thing with the given function,
bindings in right argument shadow those in the left
|
|
|
Deletes from the left argument any bindings in the right argument
|
|
|
|
|
|
|
Combines bindings for the same thing in the two maps with the given function
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Supplies a default element in return for an unmapped key
|
|
|
|
|
|
|
|
|
In the case of duplicate keys, who knows which item is taken
|
|
Produced by Haddock version 2.6.1 |