[ library(m_map) | Third Party Libraries | Reference Manual | Alphabetic Index ]
det_insert_from_corresponding_lists(+Map0, ++KeyList, ?ValueList, -Map)
Insert key/value pairs into a map, aborting if any of the keys already exist.
- Map0
- A map
- KeyList
- A list of keys to insert
- ValueList
- A list of values corresponding to the keys in KeyList
- Map
- The map after insertion
Description
This predicate takes a map Map0, and for each key Key in KeyList
and corresponding value Value from ValueList, calls
det_insert/4 to insert the Key/Value pair into the map.
The result after all the insertions is the map Map.
This predicate should only be called with maps created by other
predicates from the map module.
Fail Conditions
Fails if the lists aren't the same length.
Resatisfiable
no
See Also
det_insert / 4, det_insert_from_assoc_list / 3, from_corresponding_lists / 3