SML/NJ Library Manual

The SplayMapFn functor

Synopsis

functor SplayMapFn (ORD_KEY) : ORD_MAP

The SplayMapFn functor implements applicative maps on an ordered type. It is based on Sleator-Tarjan splay trees.

See Also

ORD_KEY, ORD_MAP, BinaryMapFn, ListMapFn, SplayTree, ORD_SET

Discussion

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