[ library(m_map) | Reference Manual | Alphabetic Index ]
from_corresponding_lists(++KeyList, ?ValueList, -Map)
Converts a corresponding pair of lists into a map.
- KeyList
- A list of keys
- ValueList
- A list of values corresponding to the keys in KeyList
- Map
- The created map
Description
Converts a list of keys KeyList and a corresponding list of values
ValueList into a map Map. If a key appears more than once in
KeyList, then its corresponding value in the map Map will be
the last one appearing in AssocList.
Fail Conditions
Fails if the lists aren't the same length.
Resatisfiable
no
See Also
from_assoc_list / 2, det_insert_from_corresponding_lists / 4