[ library(m_map) | Reference Manual | Alphabetic Index ]
det_insert_from_assoc_list(+Map0, +List, -Map)
Insert key/value pairs into a map, aborting if any of the keys already exist.
- Map0
- A map
- List
- A list of Key-Value pairs to insert
- Map
- The map after insertion
Description
This predicate takes a map Map0, and for each entry in List (of
the form Key-Value), 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
Never fails.
Resatisfiable
no
See Also
det_insert / 4, det_insert_from_corresponding_lists / 4, from_assoc_list / 2, from_sorted_assoc_list / 2