[ library(m_map) | Reference Manual | Alphabetic Index ]
update(+Map0, ++Key, ?Value, -Map)
Update the value corresponding to a key in a map.
- 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.  The resulting map is
	Map.
	
	
	This predicate should only be called with maps created by other
	predicates from the map module.
	
	
Fail Conditions
Fails if Key does not appear in Map0.
Resatisfiable
no
See Also
det_update / 4, insert / 4, det_insert / 4, set / 4