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

SCM Repository

[smlnj] Annotation of /sml/trunk/system/Basis/Implementation/vector.sig
ViewVC logotype

Annotation of /sml/trunk/system/Basis/Implementation/vector.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4089 - (view) (download) (as text)

1 : monnier 416 (* vector.sig
2 :     *
3 : jhr 4088 * COPYRIGHT (c) 2015 The Fellowship of SML/NJ (http://www.smlnj.org)
4 :     * All rights reserved.
5 : monnier 416 *)
6 :    
7 :     signature VECTOR =
8 :     sig
9 :     eqtype 'a vector
10 :    
11 :     val maxLen : int
12 :    
13 :     val fromList : 'a list -> 'a vector
14 :     val tabulate : int * (int -> 'a) -> 'a vector
15 :    
16 :     val length : 'a vector -> int
17 :     val sub : 'a vector * int -> 'a
18 : mblume 1350
19 :     val update : 'a vector * int * 'a -> 'a vector
20 : monnier 416 val concat : 'a vector list -> 'a vector
21 :    
22 : mblume 1350 val appi : (int * 'a -> unit) -> 'a vector -> unit
23 : monnier 416 val app : ('a -> unit) -> 'a vector -> unit
24 : mblume 1350 val mapi : (int * 'a -> 'b) -> 'a vector -> 'b vector
25 : monnier 416 val map : ('a -> 'b) -> 'a vector -> 'b vector
26 : mblume 1350 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a vector -> 'b
27 :     val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a vector -> 'b
28 : monnier 416 val foldl : (('a * 'b) -> 'b) -> 'b -> 'a vector -> 'b
29 :     val foldr : (('a * 'b) -> 'b) -> 'b -> 'a vector -> 'b
30 :    
31 : mblume 1350 val findi : (int * 'a -> bool) -> 'a vector -> (int * 'a) option
32 :     val find : ('a -> bool) -> 'a vector -> 'a option
33 :     val exists : ('a -> bool) -> 'a vector -> bool
34 :     val all : ('a -> bool) -> 'a vector -> bool
35 :     val collate : ('a * 'a -> order) -> 'a vector * 'a vector -> order
36 : monnier 416 end
37 : jhr 4088
38 : jhr 4089 (* includes Basis Library proposal 2015-003 *)
39 : jhr 4088 signature VECTOR_2015 =
40 :     sig
41 :     include VECTOR
42 :    
43 :     val toList : 'a vector -> 'a list
44 :     val append : 'a vector * 'a -> 'a vector
45 :     val prepend : 'a * 'a vector -> 'a vector
46 :    
47 :     end

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