DelmOrg / delm-concept / Concept.Mapping

This is part of the standard library for Delm.


type Mapping comparable value

Mapping type.

singleton : comparable -> value -> value -> Mapping comparable value

Creates a mapping with a single key-value pair.

empty : value -> Mapping comparable value

Creates an empty mapping.

insert : comparable -> value -> Mapping comparable value -> Mapping comparable value

Inserts a key-value pair into a mapping.

remove : comparable -> Mapping comparable value -> Mapping comparable value

Removes a key-value pair from a mapping.

get : comparable -> Mapping comparable value -> value

Gets a value from a mapping.