Denys Duchier
This module provides a uniform interface to standard mapping datatypes, i.e. records, dictionaries and arrays
{Mapping.get +M +Key ?Value}
Value associated with Key in
mapping M
{Mapping.put +M +Key +Value}
Value associated with Key in
mapping M (assuming the latter is mutable)
{Mapping.condGet +M +Key +Default ?Value}
{Mapping.condSelect +M +Key +Default ?Value}
Value associated with Key in
mapping M, or Default if none
{Mapping.is +M ?B}
M is a mapping
{Mapping.isMutable +M ?B}
M is a mutable mapping
{Mapping.items +M ?L}
{Mapping.toList +M ?L}
{Mapping.keys +M ?L}
{Mapping.arity +M ?L}
{Mapping.entries +M ?L}
{Mapping.toListInd +M ?L}
Key#Value in the mapping
{Mapping.clone +M1 ?M2}
M2 of the mapping M1
{Mapping.exchange +M +Key ?Old +New}
Key in mapping M:
sets it to New while returning Old
{Mapping.toRecord +Label +M ?R}
R with label Label representing
the entries in mapping M