[ library(m_map) | Reference Manual | Alphabetic Index ]
det_update(+Map0, ++Key, ?Value, -Map)
Update the value corresponding to a key in a map, aborting if it doesn't exist.
- Map0
- A map
- Key
- A key to update
- Value
- The value corresponding to Key
- Map
- The map after updating
Description
If the key Key already exists in the map Map0, then this
predicate updates the corresponding value to be Value, resulting
in the map Map. If the key Key is not 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
update / 4, insert / 4, det_insert / 4, set / 4