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/real64-vector.sml
ViewVC logotype

Annotation of /sml/trunk/system/Basis/Implementation/real64-vector.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4089 - (view) (download)

1 : monnier 416 (* real64-vector.sml
2 :     *
3 : jhr 4089 * COPYRIGHT (c) 2015 The Fellowship of SML/NJ (http://www.smlnj.org)
4 :     * All rights reserved.
5 : monnier 416 *
6 :     * Vectors of Real64.real values.
7 :     * NOTE: currently, we do not have sufficient tag bits to use a packed
8 :     * representation for this type.
9 :     *)
10 :    
11 : jhr 4089 structure Real64Vector : MONO_VECTOR_2015
12 : monnier 416 where type elem = Real64.real
13 :     = struct
14 :     type elem = Real64.real
15 :     type vector = elem Vector.vector
16 :    
17 :     val maxLen = Vector.maxLen
18 :    
19 :     val fromList = Vector.fromList
20 :     val tabulate = Vector.tabulate
21 :    
22 :     val length = Vector.length
23 :     val sub = Vector.sub
24 : mblume 1350 val update = Vector.update
25 : monnier 416 val concat = Vector.concat
26 :    
27 : mblume 1350 val appi = Vector.appi
28 : monnier 416 val app = Vector.app
29 : mblume 1350 val mapi = Vector.mapi
30 : monnier 416 val map = Vector.map
31 : mblume 1350 val foldli = Vector.foldli
32 :     val foldri = Vector.foldri
33 : monnier 416 val foldl = Vector.foldl
34 :     val foldr = Vector.foldr
35 :    
36 : mblume 1350 val findi = Vector.findi
37 :     val find = Vector.find
38 :     val exists = Vector.exists
39 :     val all = Vector.all
40 :     val collate = Vector.collate
41 : monnier 416
42 : jhr 4089 (* added for Basis Library proposal 2015-003 *)
43 :     val toList = Vector.toList
44 :     val append = Vector.append
45 :     val prepend = Vector.prepend
46 :    
47 : monnier 416 end

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