Mozart Standard Library: Mappings

# Mappings

Denys Duchier

module
  x-oz://system/Mapping.ozf

This module provides a uniform interface to standard mapping datatypes, i.e. records, dictionaries and arrays

## Exports

`{Mapping.get +M +Key ?Value}`
  returns the `Value` associated with `Key` in mapping `M`
`{Mapping.put +M +Key +Value}`
  sets the `Value` associated with `Key` in mapping `M` (assuming the latter is mutable)
`{Mapping.condGet +M +Key +Default ?Value}`
`{Mapping.condSelect +M +Key +Default ?Value}`
  returns the `Value` associated with `Key` in mapping `M`, or `Default` if none
`{Mapping.is +M ?B}`
  returns true iff `M` is a mapping
`{Mapping.isMutable +M ?B}`
  returns true iff `M` is a mutable mapping
`{Mapping.items +M ?L}`
`{Mapping.toList +M ?L}`
  returns a list of the values in the mapping
`{Mapping.keys +M ?L}`
`{Mapping.arity +M ?L}`
  returns a list of the keys of the mapping
`{Mapping.entries +M ?L}`
`{Mapping.toListInd +M ?L}`
  returns a list of the entries `Key#Value` in the mapping
`{Mapping.clone +M1 ?M2}`
  returns a clone `M2` of the mapping `M1`
`{Mapping.exchange +M +Key ?Old +New}`
  atomically exchanges the value for `Key` in mapping `M`: sets it to `New` while returning `Old`
`{Mapping.toRecord +Label +M ?R}`
  returns a record `R` with label `Label` representing the entries in mapping `M`