# SML/NJ Library Manual

## The `ListMapFn` functor

#### Synopsis

> `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

#### 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