SML/NJ Library Manual

The ListMapFn functor


functor ListMapFn (ORD_KEY) : ORD_MAP

The ListMapFn functor implements applicative maps on an ordered type. It uses a sorted list representation.

See Also

ORD_KEY, ORD_MAP, BinaryMapFn, SplayMapFn, ORD_SET


Note that inserting a pair into a map that already contains a pair using the same key (in the sense that both keys are considered equal by the comparison function) causes the current pair to be replaced by the new one.

[ Top | Parent | Contents | Index | Root ]

Last Modified June 10, 1998
Comments to John Reppy
Copyright © 1998 Bell Labs, Lucent Technologies