[ library(m_map) | Reference Manual | Alphabetic Index ]
det_insert(+Map0, ++Key, ?Value, -Map)
Insert a key/value pair into a map, aborting if the key already exists.
- Map0
- A map
- Key
- A key to insert
- Value
- The value corresponding to Key
- Map
- The map after insertion
Description
This predicate inserts the key Key with corresponding value Value
into the map Map0, resulting in the map Map. If the key Key is
already in the map, then the predicate aborts with a runtime error.
This predicate should only be called with maps created by other
predicates from the map module.
Fail Conditions
Never fails.
Resatisfiable
no
See Also
insert / 4, update / 4, det_update / 4, set / 4