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/mono-dynamic-array-sig.sml
ViewVC logotype

Diff of /smlnj-lib/trunk/Util/mono-dynamic-array-sig.sml

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

revision 3336, Wed May 13 12:46:49 2009 UTC revision 3337, Wed May 13 13:17:00 2009 UTC
# Line 1  Line 1 
1  (* mono-dynamic-array-sig.sml  (* mono-dynamic-array-sig.sml
2   *   *
3   * COPYRIGHT (c) 1993 by AT&T Bell Laboratories.  See COPYRIGHT file for details.   * COPYRIGHT (c) 2009 The Fellowship of SML/NJ (http://www.smlnj.org)
4   *   * All rights reserved.
  * Signature for unbounded arrays.  
5   *   *
6     * Signature for monomorphic unbounded arrays.
7   *)   *)
8    
9  signature MONO_DYNAMIC_ARRAY =  signature MONO_DYNAMIC_ARRAY =
# Line 58  Line 58 
58        (* truncate (a,sz) makes every entry with index > sz the default value *)        (* truncate (a,sz) makes every entry with index > sz the default value *)
59    
60  (** what about iterators??? **)  (** what about iterators??? **)
61    (*
62        val vector : array -> 'a vector
63        val copy : {di:int, dst:array, src:array} -> unit
64        val copyVec : {di:int, dst:array, src:'a vector} -> unit
65        val appi : (int * 'a -> unit) -> array -> unit
66        val app : ('a -> unit) -> array -> unit
67        val modifyi : (int * 'a -> 'a) -> array -> unit
68        val modify : ('a -> 'a) -> array -> unit
69        val foldli : (int * 'a * 'b -> 'b) -> 'b -> array -> 'b
70        val foldri : (int * 'a * 'b -> 'b) -> 'b -> array -> 'b
71        val foldl : ('a * 'b -> 'b) -> 'b -> array -> 'b
72        val foldr : ('a * 'b -> 'b) -> 'b -> array -> 'b
73        val findi : (int * 'a -> bool) -> array -> (int * 'a) option
74        val find : ('a -> bool) -> array -> 'a option
75        val exists : ('a -> bool) -> array -> bool
76        val all : ('a -> bool) -> array -> bool
77        val collate : ('a * 'a -> order) -> array * array -> order
78    *)
79    
80    end (* MONO_DYNAMIC_ARRAY *)    end (* MONO_DYNAMIC_ARRAY *)
81    

Legend:
Removed from v.3336  
changed lines
  Added in v.3337

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