ListMapFn(ORD_KEY) : ORD_MAP
The ListMapFn functor implements applicative maps on an ordered type. It uses a sorted list representation.
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.
Last Modified June 10, 1998
Comments to John Reppy
Copyright © 1998 Bell Labs, Lucent Technologies