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/trunk/Util/ord-map-sig.sml
ViewVC logotype

Diff of /smlnj-lib/trunk/Util/ord-map-sig.sml

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

sml/trunk/src/smlnj-lib/Util/ord-map-sig.sml revision 651, Thu Jun 1 18:34:03 2000 UTC smlnj-lib/trunk/Util/ord-map-sig.sml revision 2144, Thu Nov 2 16:23:11 2006 UTC
# Line 69  Line 69 
69           * two input maps, using the supplied function to define the range.           * two input maps, using the supplied function to define the range.
70           *)           *)
71    
72        val mergeWith : ('a option * 'b option -> 'c option)
73              -> ('a map * 'b map) -> 'c map
74        val mergeWithi : (Key.ord_key * 'a option * 'b option -> 'c option)
75              -> ('a map * 'b map) -> 'c map
76            (* merge two maps using the given function to control the merge. For
77             * each key k in the union of the two maps domains, the function
78             * is applied to the image of the key under the map.  If the function
79             * returns SOME y, then (k, y) is added to the resulting map.
80             *)
81    
82      val app  : ('a -> unit) -> 'a map -> unit      val app  : ('a -> unit) -> 'a map -> unit
83      val appi : ((Key.ord_key * 'a) -> unit) -> 'a map -> unit      val appi : ((Key.ord_key * 'a) -> unit) -> 'a map -> unit
84          (* Apply a function to the entries of the map in map order. *)          (* Apply a function to the entries of the map in map order. *)

Legend:
Removed from v.651  
changed lines
  Added in v.2144

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