[ 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