SplayMapFn(ORD_KEY) : ORD_MAP
The SplayMapFn functor implements applicative maps on an ordered type. It is based on Sleator-Tarjan splay trees.
ORD_KEY, ORD_MAP, BinaryMapFn, ListMapFn, SplayTree, 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