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/branches/SMLNJ/src/MLRISC/library/hashMultimap.sig
ViewVC logotype

Annotation of /sml/branches/SMLNJ/src/MLRISC/library/hashMultimap.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

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

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