The SML/NJ Library Reference Manual


The MONO_HASH_TABLE signature


Synopsis

signature MONO_HASH_TABLE

Interface

structure Key : HASH_KEY
type 'a hash_table
val mkTable : (int * exn) -> 'a hash_table
val insert : 'a hash_table -> (Key.hash_key * 'a) -> unit
val lookup : 'a hash_table -> Key.hash_key -> 'a
val find : 'a hash_table -> Key.hash_key -> 'a option
val remove : 'a hash_table -> Key.hash_key -> 'a
val numItems : 'a hash_table -> int
val listItems : 'a hash_table -> (Key.hash_key * 'a) list
val app : ('a -> unit) -> 'a hash_table -> unit
val appi : ((Key.hash_key * 'a) -> unit) -> 'a hash_table -> unit
val map : ('a -> 'b) -> 'a hash_table -> 'b hash_table
val mapi : ((Key.hash_key * 'a) -> 'b) -> 'a hash_table -> 'b hash_table
val fold : (('a * 'b) -> 'b) -> 'b -> 'a hash_table -> 'b
val foldi : ((Key.hash_key * 'a * 'b) -> 'b) -> 'b -> 'a hash_table -> 'b
val filter : ('a -> bool) -> 'a hash_table -> unit
val filteri : ((Key.hash_key * 'a) -> bool) -> 'a hash_table -> unit
val copy : 'a hash_table -> 'a hash_table
val bucketSizes : 'a hash_table -> int list

Description

structure Key

type 'a hash_table

mkTable (i, ex)
explain the use and semantics of mkTable HERE.

insert ht (hk, a)
explain the use and semantics of insert HERE.

lookup ht hk
explain the use and semantics of lookup HERE.

find ht hk
explain the use and semantics of find HERE.

remove ht hk
explain the use and semantics of remove HERE.

numItems ht
explain the use and semantics of numItems HERE.

listItems ht
explain the use and semantics of listItems HERE.

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

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

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

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

fold f a ht
explain the use and semantics of fold HERE.

foldi f a ht
explain the use and semantics of foldi HERE.

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

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

copy ht
explain the use and semantics of copy HERE.

bucketSizes ht
explain the use and semantics of bucketSizes HERE.



[ INDEX | TOP | Parent | Root ]

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