SRFI 224: Integer Mappings

by Wolfgang Corcoran-Mathe

status: draft (2021-03-24)

keywords: Data Structure

See also SRFI 146: Mappings and SRFI 189: Maybe and Either: optional container types.

Abstract

Integer maps, or imappings, are finite sets, where each element is an association between an exact-integer key and an arbitrary Scheme object. They are similar to the general mappings of SRFI 146, but the restricted key-type allows implementations of imappings to benefit from optimized structures and algorithms. This library provides a rich set of operations on imappings, including analogues of most of the forms provided by SRFI 146. Imappings have no intrinsic order, but may be treated as ordered sets, using the natural ordering on keys; a substantial sublibrary for working with imappings in this fashion is included.