A priority map that contains the given key/value bindings.
A priority map that contains the given key/value bindings.
the key type
the value type
the key/value pairs that make up the map
the implicit ordering on values
a new priority map with the given bindings
An empty priority map.
A priority map that contains with the bindings from the given map.
A priority map that contains with the bindings from the given map.
the key type
the value type
the map
the implicit ordering on values
a new priority map with the bindings form the given map
This object provides a set of operations needed to create priority maps.