ORD_MAP
signature
signature ORD_MAP
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
structure Key
type 'a map
empty
insert (ma, ok, a)
find (ma, ok)
remove (ma, ok)
numItems ma
listItems ma
app f ma
appi f ma
map f ma
mapi f ma
foldl f a ma
foldli f a ma
foldr f a ma
foldri f a ma
filter f ma
filteri f ma
mapPartial f ma
mapPartiali f ma
Last Modified May 29, 1996
Copyright © 1996 AT&T Research