Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/library/hashMap.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/library/hashMap.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 412 - (view) (download) (as text)

1 : monnier 411 (*
2 :     * Map datatype that uses hashing.
3 :     *
4 :     * -- Allen
5 :     *)
6 :    
7 : monnier 245 signature HASH_MAP =
8 :     sig
9 :    
10 :     type ('a,'b) map
11 :    
12 :     val create : { order : 'a * 'a -> order,
13 :     hash : 'a -> int,
14 :     exn : exn
15 :     } -> int -> ('a,'b) map
16 :    
17 :     val size : ('a,'b) map -> int
18 :     val bucketSize : ('a,'b) map -> int
19 :     val isEmpty : ('a,'b) map -> bool
20 :     val insert : ('a,'b) map -> ('a * 'b) -> unit
21 :     val update : ('a,'b) map -> (('a * 'b) * ('b -> 'b)) -> unit
22 :     val remove : ('a,'b) map -> 'a -> unit
23 :     val lookup : ('a,'b) map -> 'a -> 'b
24 :     val lookupOrElse : ('a,'b) map -> 'b -> 'a -> 'b
25 :     val toList : ('a,'b) map -> ('a * 'b) list
26 :     val clear : ('a,'b) map -> unit
27 :     val contains : ('a,'b) map -> 'a -> bool
28 :     val app : ('a * 'b -> unit) -> ('a,'b) map -> unit
29 :     val fold : (('a * 'b) * 'c -> 'c) -> 'c -> ('a,'b) map -> 'c
30 :     val toString : (('a -> string) * ('b -> string)) -> ('a,'b) map
31 :     -> string
32 :    
33 :     end
34 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0