The SML/NJ Library Reference Manual


The ORD_MAP signature


Synopsis

signature ORD_MAP

Interface

structure Key : ORD_KEY
type 'a map
val empty : 'a map
val insert : ('a map * Key.ord_key * 'a) -> 'a map
val find : ('a map * Key.ord_key) -> 'a option
val remove : ('a map * Key.ord_key) -> ('a map * 'a)
val numItems : 'a map -> int
val listItems : 'a map -> (Key.ord_key * 'a) list
val app : ('a -> unit) -> 'a map -> unit
val appi : ((Key.ord_key * 'a) -> unit) -> 'a map -> unit
val map : ('a -> 'b) -> 'a map -> 'b map
val mapi : ((Key.ord_key * 'a) -> 'b) -> 'a map -> 'b map
val foldl : (('a * 'b) -> 'b) -> 'b -> 'a map -> 'b
val foldli : ((Key.ord_key * 'a * 'b) -> 'b) -> 'b -> 'a map -> 'b
val foldr : (('a * 'b) -> 'b) -> 'b -> 'a map -> 'b
val foldri : ((Key.ord_key * 'a * 'b) -> 'b) -> 'b -> 'a map -> 'b
val filter : ('a -> bool) -> 'a map -> 'a map
val filteri : ((Key.ord_key * 'a) -> bool) -> 'a map -> 'a map
val mapPartial : ('a -> 'b option) -> 'a map -> 'b map
val mapPartiali : ((Key.ord_key * 'a) -> 'b option) -> 'a map -> 'b map

Description

structure Key

type 'a map

empty
explain the use and semantics of empty HERE.

insert (ma, ok, a)
explain the use and semantics of insert HERE.

find (ma, ok)
explain the use and semantics of find HERE.

remove (ma, ok)
explain the use and semantics of remove HERE.

numItems ma
explain the use and semantics of numItems HERE.

listItems ma
explain the use and semantics of listItems HERE.

app f ma
explain the use and semantics of app HERE.

appi f ma
explain the use and semantics of appi HERE.

map f ma
explain the use and semantics of map HERE.

mapi f ma
explain the use and semantics of mapi HERE.

foldl f a ma
explain the use and semantics of foldl HERE.

foldli f a ma
explain the use and semantics of foldli HERE.

foldr f a ma
explain the use and semantics of foldr HERE.

foldri f a ma
explain the use and semantics of foldri HERE.

filter f ma
explain the use and semantics of filter HERE.

filteri f ma
explain the use and semantics of filteri HERE.

mapPartial f ma
explain the use and semantics of mapPartial HERE.

mapPartiali f ma
explain the use and semantics of mapPartiali HERE.



[ INDEX | TOP | Parent | Root ]

Last Modified May 29, 1996
Copyright © 1996 AT&T Research