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
 [smlnj] / smlnj-lib / branches / rt-transition / Util / ord-map-sig.sml

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

revision 4069, Tue Jun 9 20:52:48 2015 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)
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.4069 changed lines Added in v.4070