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 2980, Sat Apr 12 15:01:15 2008 UTC revision 4070, Thu Jun 11 12:33:25 2015 UTC
# Line 1  Line 1 
1  (* ord-map-sig.sml  (* ord-map-sig.sml
2   *   *
3     * COPYRIGHT (c) 2012 The Fellowship of SML/NJ (http://www.smlnj.org)
4     * All rights reserved.
5     *
6   * COPYRIGHT (c) 1996 by AT&T Research.  See COPYRIGHT file for details.   * COPYRIGHT (c) 1996 by AT&T Research.  See COPYRIGHT file for details.
7   *   *
8   * Abstract signature of an applicative-style finite maps (dictionaries)   * Abstract signature of an applicative-style finite maps (dictionaries)
# Line 10  Line 13 
13    sig    sig
14    
15      structure Key : ORD_KEY      structure Key : ORD_KEY
16            (* the map's domain and its comparison function *)
17    
18      type 'a map      type 'a map
19    
# Line 116  Line 120 
120           * map order.           * map order.
121           *)           *)
122    
123        val exists : ('a -> bool) -> 'a map -> bool
124        val existsi : (Key.ord_key * 'a -> bool) -> 'a map -> bool
125            (* check the elements of a map with a predicate and return true if
126             * any element satisfies the predicate. Return false otherwise.
127             * Elements are checked in key order.
128             *)
129    
130        val all : ('a -> bool) -> 'a map -> bool
131        val alli : (Key.ord_key * 'a -> bool) -> 'a map -> bool
132            (* check the elements of a map with a predicate and return true if
133             * they all satisfy the predicate. Return false otherwise.  Elements
134             * are checked in key order.
135             *)
136    
137    end (* ORD_MAP *)    end (* ORD_MAP *)

Legend:
Removed from v.2980  
changed lines
  Added in v.4070

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