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

SCM Repository

[smlnj] Diff of /smlnj-lib/branches/rt-transition/Util/ord-map-sig.sml
ViewVC logotype

Diff of /smlnj-lib/branches/rt-transition/Util/ord-map-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 289, Sat May 22 21:01:25 1999 UTC revision 411, Fri Sep 3 00:25:03 1999 UTC
# Line 19  Line 19 
19      val isEmpty : 'a map -> bool      val isEmpty : 'a map -> bool
20          (* Return true if and only if the map is empty *)          (* Return true if and only if the map is empty *)
21    
22        val singleton : (Key.ord_key * 'a) -> 'a map
23            (* return the specified singleton map *)
24    
25      val insert  : 'a map * Key.ord_key * 'a -> 'a map      val insert  : 'a map * Key.ord_key * 'a -> 'a map
26      val insert' : ((Key.ord_key * 'a) * 'a map) -> 'a map      val insert' : ((Key.ord_key * 'a) * 'a map) -> 'a map
27          (* Insert an item. *)          (* Insert an item. *)
# Line 26  Line 29 
29      val find : 'a map * Key.ord_key -> 'a option      val find : 'a map * Key.ord_key -> 'a option
30          (* Look for an item, return NONE if the item doesn't exist *)          (* Look for an item, return NONE if the item doesn't exist *)
31    
32        val inDomain : ('a map * Key.ord_key) -> bool
33            (* return true, if the key is in the domain of the map *)
34    
35      val remove : 'a map * Key.ord_key -> 'a map * 'a      val remove : 'a map * Key.ord_key -> 'a map * 'a
36          (* Remove an item, returning new map and value removed.          (* Remove an item, returning new map and value removed.
37           * Raises LibBase.NotFound if not found.           * Raises LibBase.NotFound if not found.
# Line 40  Line 46 
46    
47      val listItems  : 'a map -> 'a list      val listItems  : 'a map -> 'a list
48      val listItemsi : 'a map -> (Key.ord_key * 'a) list      val listItemsi : 'a map -> (Key.ord_key * 'a) list
49          (* Return an ordered list of the items (and their keys) in the map.          (* Return an ordered list of the items (and their keys) in the map. *)
50           *)  
51        val listKeys : 'a map -> Key.ord_key list
52            (* return an ordered list of the keys in the map. *)
53    
54      val collate : ('a * 'a -> order) -> ('a map * 'a map) -> order      val collate : ('a * 'a -> order) -> ('a map * 'a map) -> order
55          (* given an ordering on the map's range, return an ordering          (* given an ordering on the map's range, return an ordering

Legend:
Removed from v.289  
changed lines
  Added in v.411

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