Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 03-May-2022 | - | ||||
test/ | H | 28-Aug-2014 | - | 16,006 | 14,421 | |
.gitignore | H A D | 28-Aug-2014 | 188 | 18 | 16 | |
AppleScript.sig | H A D | 28-Aug-2014 | 1.5 KiB | 44 | 31 | |
AppleScript.sml | H A D | 28-Aug-2014 | 2.8 KiB | 106 | 79 | |
Array.mlp | H A D | 28-Aug-2014 | 6 KiB | 228 | 194 | |
Array.sig | H A D | 28-Aug-2014 | 4.6 KiB | 124 | 89 | |
Array2.sig | H A D | 28-Aug-2014 | 7.9 KiB | 188 | 143 | |
Array2.sml | H A D | 28-Aug-2014 | 5.3 KiB | 161 | 135 | |
ArraySlice.sig | H A D | 28-Aug-2014 | 6.8 KiB | 157 | 120 | |
ArraySlice.sml | H A D | 28-Aug-2014 | 5.7 KiB | 210 | 177 | |
Arraysort.sig | H A D | 28-Aug-2014 | 396 | 12 | 8 | |
Arraysort.sml | H A D | 28-Aug-2014 | 4.7 KiB | 140 | 125 | |
BasicIO.sig | H A D | 28-Aug-2014 | 934 | 29 | 24 | |
BasicIO.sml | H A D | 28-Aug-2014 | 7.7 KiB | 248 | 198 | |
BinIO.sig | H A D | 28-Aug-2014 | 5.2 KiB | 150 | 104 | |
BinIO.sml | H A D | 28-Aug-2014 | 4.2 KiB | 129 | 92 | |
Binarymap.sig | H A D | 28-Aug-2014 | 2.6 KiB | 67 | 49 | |
Binarymap.sml | H A D | 28-Aug-2014 | 7.3 KiB | 219 | 191 | |
Binaryset.sig | H A D | 28-Aug-2014 | 3.2 KiB | 90 | 64 | |
Binaryset.sml | H A D | 28-Aug-2014 | 12.5 KiB | 386 | 335 | |
Bool.sig | H A D | 28-Aug-2014 | 962 | 29 | 20 | |
Bool.sml | H A D | 28-Aug-2014 | 884 | 36 | 29 | |
Buffer.sig | H A D | 28-Aug-2014 | 1.6 KiB | 48 | 35 | |
Buffer.sml | H A D | 28-Aug-2014 | 4.5 KiB | 136 | 109 | |
Byte.sig | H A D | 28-Aug-2014 | 1.3 KiB | 38 | 26 | |
Byte.sml | H A D | 28-Aug-2014 | 692 | 20 | 15 | |
Callback.sig | H A D | 28-Aug-2014 | 5.7 KiB | 147 | 106 | |
Callback.sml | H A D | 28-Aug-2014 | 3.2 KiB | 97 | 73 | |
Char.sig | H A D | 28-Aug-2014 | 7.4 KiB | 182 | 142 | |
Char.sml | H A D | 28-Aug-2014 | 3.4 KiB | 111 | 95 | |
CharArray.sig | H A D | 28-Aug-2014 | 1.5 KiB | 46 | 34 | |
CharArray.sml | H A D | 28-Aug-2014 | 2.2 KiB | 60 | 46 | |
CharArraySlice.sig | H A D | 28-Aug-2014 | 1.9 KiB | 52 | 42 | |
CharArraySlice.sml | H A D | 28-Aug-2014 | 2.4 KiB | 59 | 55 | |
CharVector.sig | H A D | 28-Aug-2014 | 1.4 KiB | 42 | 31 | |
CharVector.sml | H A D | 28-Aug-2014 | 2.6 KiB | 69 | 53 | |
CharVectorSlice.sig | H A D | 28-Aug-2014 | 1.9 KiB | 51 | 40 | |
CharVectorSlice.sml | H A D | 28-Aug-2014 | 2.2 KiB | 52 | 48 | |
CommandLine.sig | H A D | 28-Aug-2014 | 317 | 12 | 8 | |
CommandLine.sml | H A D | 28-Aug-2014 | 383 | 17 | 13 | |
Date.sig | H A D | 28-Aug-2014 | 7 KiB | 173 | 138 | |
Date.sml | H A D | 28-Aug-2014 | 10.3 KiB | 333 | 273 | |
Dynarray.sig | H A D | 28-Aug-2014 | 1.6 KiB | 44 | 32 | |
Dynarray.sml | H A D | 28-Aug-2014 | 1.3 KiB | 48 | 36 | |
Dynlib.sig | H A D | 28-Aug-2014 | 5.3 KiB | 129 | 100 | |
Dynlib.sml | H A D | 28-Aug-2014 | 2.6 KiB | 70 | 51 | |
FileSys.mlp | H A D | 28-Aug-2014 | 8.8 KiB | 287 | 237 | |
FileSys.sig | H A D | 28-Aug-2014 | 6.3 KiB | 159 | 120 | |
Gdbm.sig | H A D | 28-Aug-2014 | 5.1 KiB | 125 | 100 | |
Gdbm.sml | H A D | 28-Aug-2014 | 5.2 KiB | 194 | 151 | |
Gdimage.sig | H A D | 28-Aug-2014 | 7.9 KiB | 203 | 155 | |
Gdimage.sml | H A D | 28-Aug-2014 | 5.3 KiB | 174 | 130 | |
General.fke | H A D | 28-Aug-2014 | 9.4 KiB | 286 | 194 | |
Hashset.sig | H A D | 28-Aug-2014 | 3.1 KiB | 91 | 61 | |
Hashset.sml | H A D | 28-Aug-2014 | 7.4 KiB | 280 | 230 | |
Help.mlp | H A D | 28-Aug-2014 | 11.8 KiB | 382 | 326 | |
Help.sig | H A D | 28-Aug-2014 | 2.6 KiB | 67 | 50 | |
IO.sml | H A D | 28-Aug-2014 | 51 | 5 | 4 | |
Int.mlp | H A D | 28-Aug-2014 | 4.3 KiB | 145 | 130 | |
Int.sig | H A D | 28-Aug-2014 | 4.7 KiB | 135 | 102 | |
Intmap.sig | H A D | 28-Aug-2014 | 2.2 KiB | 63 | 45 | |
Intmap.sml | H A D | 28-Aug-2014 | 7 KiB | 209 | 181 | |
Intset.sig | H A D | 28-Aug-2014 | 2.5 KiB | 78 | 54 | |
Intset.sml | H A D | 28-Aug-2014 | 9.6 KiB | 333 | 284 | |
Lexing.sig | H A D | 28-Aug-2014 | 3.4 KiB | 87 | 67 | |
Lexing.sml | H A D | 28-Aug-2014 | 3.3 KiB | 96 | 79 | |
List.sig | H A D | 28-Aug-2014 | 4.7 KiB | 128 | 87 | |
List.sml | H A D | 28-Aug-2014 | 2.6 KiB | 112 | 84 | |
ListPair.sig | H A D | 28-Aug-2014 | 5.1 KiB | 115 | 92 | |
ListPair.sml | H A D | 28-Aug-2014 | 2.4 KiB | 88 | 70 | |
Listsort.sig | H A D | 28-Aug-2014 | 1.7 KiB | 41 | 34 | |
Listsort.sml | H A D | 28-Aug-2014 | 2.6 KiB | 89 | 77 | |
Location.sig | H A D | 28-Aug-2014 | 3.1 KiB | 75 | 58 | |
Location.sml | H A D | 28-Aug-2014 | 4.9 KiB | 171 | 155 | |
Makefile | H A D | 28-Aug-2014 | 8.1 KiB | 209 | 189 | |
Makefile.w32 | H A D | 28-Aug-2014 | 8.7 KiB | 234 | 213 | |
Math.sig | H A D | 28-Aug-2014 | 2.2 KiB | 75 | 53 | |
Math.sml | H A D | 28-Aug-2014 | 942 | 37 | 28 | |
Meta.fke | H A D | 28-Aug-2014 | 11.1 KiB | 224 | 189 | |
Misc.sig | H A D | 28-Aug-2014 | 1.1 KiB | 38 | 27 | |
Misc.sml | H A D | 28-Aug-2014 | 906 | 45 | 33 | |
Mosml.mlp | H A D | 28-Aug-2014 | 4.2 KiB | 148 | 129 | |
Mosml.sig | H A D | 28-Aug-2014 | 3 KiB | 70 | 55 | |
Mosmlcgi.sig | H A D | 28-Aug-2014 | 6.9 KiB | 206 | 141 | |
Mosmlcgi.sml | H A D | 28-Aug-2014 | 8.5 KiB | 252 | 207 | |
Mosmlcookie.sig | H A D | 28-Aug-2014 | 1.6 KiB | 48 | 35 | |
Mosmlcookie.sml | H A D | 28-Aug-2014 | 3.2 KiB | 100 | 77 | |
Msp.sig | H A D | 28-Aug-2014 | 11.5 KiB | 419 | 266 | |
Msp.sml | H A D | 28-Aug-2014 | 7.9 KiB | 225 | 182 | |
Mysql.sig | H A D | 28-Aug-2014 | 11.7 KiB | 278 | 216 | |
Mysql.sml | H A D | 28-Aug-2014 | 19.2 KiB | 597 | 482 | |
NJ93.sig | H A D | 28-Aug-2014 | 2.2 KiB | 80 | 58 | |
NJ93.sml | H A D | 28-Aug-2014 | 2.7 KiB | 99 | 77 | |
Nonstdio.sig | H A D | 28-Aug-2014 | 1 KiB | 28 | 22 | |
Nonstdio.sml | H A D | 28-Aug-2014 | 9.3 KiB | 308 | 247 | |
OS.sig | H A D | 28-Aug-2014 | 511 | 23 | 14 | |
OS.sml | H A D | 28-Aug-2014 | 259 | 15 | 10 | |
Obj.sml | H A D | 28-Aug-2014 | 624 | 15 | 12 | |
Option.sig | H A D | 28-Aug-2014 | 1.6 KiB | 44 | 29 | |
Option.sml | H A D | 28-Aug-2014 | 690 | 39 | 26 | |
PP.sig | H A D | 28-Aug-2014 | 6.7 KiB | 182 | 143 | |
PP.sml | H A D | 28-Aug-2014 | 20.1 KiB | 596 | 521 | |
Parsing.sig | H A D | 28-Aug-2014 | 2.8 KiB | 81 | 64 | |
Parsing.sml | H A D | 28-Aug-2014 | 6.2 KiB | 189 | 165 | |
Path.mlp | H A D | 28-Aug-2014 | 14.6 KiB | 449 | 393 | |
Path.sig | H A D | 28-Aug-2014 | 8.8 KiB | 222 | 159 | |
Polygdbm.sig | H A D | 28-Aug-2014 | 4.4 KiB | 105 | 83 | |
Polygdbm.sml | H A D | 28-Aug-2014 | 1.3 KiB | 51 | 32 | |
Polyhash.sig | H A D | 28-Aug-2014 | 4.3 KiB | 99 | 76 | |
Polyhash.sml | H A D | 28-Aug-2014 | 8.2 KiB | 293 | 269 | |
Postgres.sig | H A D | 28-Aug-2014 | 12.1 KiB | 289 | 224 | |
Postgres.sml | H A D | 28-Aug-2014 | 16 KiB | 535 | 432 | |
Process.mlp | H A D | 28-Aug-2014 | 668 | 37 | 26 | |
Process.sig | H A D | 28-Aug-2014 | 1.8 KiB | 56 | 39 | |
README | H A D | 28-Aug-2014 | 7.9 KiB | 117 | 110 | |
README.src | H A D | 28-Aug-2014 | 475 | 12 | 8 | |
Random.sig | H A D | 28-Aug-2014 | 1.1 KiB | 34 | 24 | |
Random.sml | H A D | 28-Aug-2014 | 1.8 KiB | 60 | 47 | |
Rbset.sig | H A D | 28-Aug-2014 | 5.8 KiB | 152 | 114 | |
Rbset.sml | H A D | 28-Aug-2014 | 20 KiB | 537 | 463 | |
Real.sig | H A D | 28-Aug-2014 | 4.1 KiB | 125 | 95 | |
Real.sml | H A D | 28-Aug-2014 | 5.3 KiB | 173 | 149 | |
Redblackmap.sig | H A D | 28-Aug-2014 | 2.5 KiB | 67 | 50 | |
Redblackmap.sml | H A D | 28-Aug-2014 | 7.7 KiB | 200 | 167 | |
Regex.sig | H A D | 28-Aug-2014 | 11.8 KiB | 257 | 208 | |
Regex.sml | H A D | 28-Aug-2014 | 7.3 KiB | 262 | 210 | |
SML90.sig | H A D | 28-Aug-2014 | 960 | 45 | 34 | |
SML90.sml | H A D | 28-Aug-2014 | 2.3 KiB | 77 | 65 | |
Signal.sig | H A D | 28-Aug-2014 | 1.6 KiB | 77 | 50 | |
Signal.sml | H A D | 28-Aug-2014 | 398 | 28 | 24 | |
Socket.sig | H A D | 28-Aug-2014 | 12.8 KiB | 293 | 230 | |
Socket.sml | H A D | 28-Aug-2014 | 9 KiB | 287 | 220 | |
Splaymap.sig | H A D | 28-Aug-2014 | 2.5 KiB | 66 | 48 | |
Splaymap.sml | H A D | 28-Aug-2014 | 4.1 KiB | 130 | 112 | |
Splayset.sig | H A D | 28-Aug-2014 | 3.2 KiB | 89 | 63 | |
Splayset.sml | H A D | 28-Aug-2014 | 7.5 KiB | 223 | 194 | |
Splaytree.sig | H A D | 28-Aug-2014 | 675 | 20 | 15 | |
Splaytree.sml | H A D | 28-Aug-2014 | 4.2 KiB | 105 | 99 | |
Strbase.mlp | H A D | 28-Aug-2014 | 10.4 KiB | 340 | 315 | |
Strbase.sig | H A D | 28-Aug-2014 | 1.1 KiB | 28 | 23 | |
String.sig | H A D | 28-Aug-2014 | 5.6 KiB | 145 | 110 | |
String.sml | H A D | 28-Aug-2014 | 5.8 KiB | 200 | 170 | |
StringCvt.sig | H A D | 28-Aug-2014 | 3.2 KiB | 75 | 56 | |
StringCvt.sml | H A D | 28-Aug-2014 | 2.8 KiB | 105 | 90 | |
Substring.sig | H A D | 28-Aug-2014 | 10.9 KiB | 244 | 188 | |
Substring.sml | H A D | 28-Aug-2014 | 7.2 KiB | 235 | 198 | |
Susp.sig | H A D | 28-Aug-2014 | 688 | 22 | 16 | |
Susp.sml | H A D | 28-Aug-2014 | 412 | 18 | 14 | |
TextIO.sig | H A D | 28-Aug-2014 | 7 KiB | 194 | 136 | |
TextIO.sml | H A D | 28-Aug-2014 | 10.8 KiB | 325 | 271 | |
Time.sig | H A D | 28-Aug-2014 | 3.6 KiB | 103 | 75 | |
Time.sml | H A D | 28-Aug-2014 | 3.2 KiB | 112 | 91 | |
Timer.sig | H A D | 28-Aug-2014 | 2.3 KiB | 59 | 45 | |
Timer.sml | H A D | 28-Aug-2014 | 1.8 KiB | 59 | 46 | |
Unix.sig | H A D | 28-Aug-2014 | 4 KiB | 89 | 71 | |
Unix.sml | H A D | 28-Aug-2014 | 3.6 KiB | 114 | 85 | |
Vector.mlp | H A D | 28-Aug-2014 | 4.6 KiB | 170 | 145 | |
Vector.sig | H A D | 28-Aug-2014 | 4.2 KiB | 111 | 81 | |
VectorSlice.sig | H A D | 28-Aug-2014 | 6 KiB | 142 | 107 | |
VectorSlice.sml | H A D | 28-Aug-2014 | 4.6 KiB | 176 | 147 | |
Weak.mlp | H A D | 28-Aug-2014 | 4 KiB | 167 | 138 | |
Weak.sig | H A D | 28-Aug-2014 | 7.3 KiB | 173 | 130 | |
Word.mlp | H A D | 28-Aug-2014 | 5.2 KiB | 175 | 147 | |
Word.sig | H A D | 28-Aug-2014 | 5.9 KiB | 170 | 127 | |
Word8.sig | H A D | 28-Aug-2014 | 6 KiB | 171 | 126 | |
Word8.sml | H A D | 28-Aug-2014 | 5.5 KiB | 173 | 146 | |
Word8Array.mlp | H A D | 28-Aug-2014 | 5.1 KiB | 178 | 149 | |
Word8Array.sig | H A D | 28-Aug-2014 | 1.5 KiB | 46 | 34 | |
Word8ArraySlice.sig | H A D | 28-Aug-2014 | 1.9 KiB | 52 | 42 | |
Word8ArraySlice.sml | H A D | 28-Aug-2014 | 5.7 KiB | 211 | 178 | |
Word8Vector.mlp | H A D | 28-Aug-2014 | 4.3 KiB | 159 | 133 | |
Word8Vector.sig | H A D | 28-Aug-2014 | 1.4 KiB | 42 | 31 | |
Word8VectorSlice.sig | H A D | 28-Aug-2014 | 1.7 KiB | 48 | 38 | |
Word8VectorSlice.sml | H A D | 28-Aug-2014 | 4.8 KiB | 180 | 151 | |
makefile.dos | H A D | 28-Aug-2014 | 5.3 KiB | 150 | 139 |
README
1Library units, Moscow ML version 2.10 (August 2013) 2 3 Name Purpose Notes 4 -------------------------------------------------------------------------- 5 | Array mutable constant-time-access arrays |SDF NO | 6 | Array2 two-dimensional arrays |S | 7 | ArraySlice mutable sub-arrays |S F | 8 | Arraysort array sorting (quicksort) | L | 9 | BasicIO input-output, see Definition (temporary) | DF | 10 | Binarymap binary tree implementation of finite maps | L | 11 | Binaryset binary tree implementation of finite sets | L | 12 | BinIO binary input-output streams (imperative) |S F | 13 | Bool Booleans |S F | 14 | Buffer mutable string buffer | | 15 | Byte character-byte conversion |S F | 16 | Callback registering ML values for access from C | | 17 | Char characters |SDF NO | 18 | CharArray arrays of characters |S F | 19 | CharArraySlice sub-arrays of characters |S F | 20 | CharVector vectors of characters (= strings) |S F | 21 | CharVectorSlice sub-vectors of characters (= substrings) |S F | 22 | CommandLine program name and arguments |S F | 23 | Date manipulation of calendar dates |S F | 24 | Dynarray dynamic arrays | L | 25 | Dynlib dynamic linking with C | | 26 | FileSys interaction with the file system |S F | 27 | Gdbm persistent hash tables of strings (gdbm) | C | 28 | Gdimage generation of PNG images (Boutell's GD) | C | 29 | General various top-level primitives |SD | 30 | Graphics graphics primitives (DOS version only) | | 31 | Hashset sets implemented by hashtables | L | 32 | Help on-line help | DF NO | 33 | Int operations on integers |S F | 34 | Intmap finite maps from integers | L | 35 | Intset finite sets of integers | L | 36 | Lexing support for lexers generated by mosmllex | | 37 | List classic list manipulation functions |SDF NO | 38 | ListPair operations on pairs of lists |S F | 39 | Listsort list sorting (mergesort) | | 40 | Location error reporting for lexers and parsers | | 41 | Math trigonometric functions etc. |S F | 42 | Meta functions specific to the interactive system | | 43 | Misc various for initial top-level environment | DF NO | 44 | Mosml various non-standard utilities | F | 45 | Mosmlcgi utilities for writing CGI programs | | 46 | Mosmlcookie manipulating cookies in CGI programs | | 47 | Msp utilities for generating HTML code | | 48 | MySQL interface to the Mysql database server | C | 49 | NJ93 top-level compatibility with SML/NJ 0.93 | N | 50 | Nonstdio non-standard I/O, used by lexers | | 51 | Option partial functions |SDF NO | 52 | OS operating system information |S F | 53 | Parsing support for parsers generated by mosmlyac | | 54 | Path file-system independent path manipulation |S F | 55 | Polygdbm polymorphic persistent hash tables (gdbm) | C | 56 | Polyhash polymorphic hash tables | | 57 | Postgres interface to PostgreSQL database server | | 58 | PP general prettyprinters | L | 59 | Process manipulating processes |S F | 60 | Random generation of pseudo-random numbers | | 61 | Rbset sets implemented by red-black trees | | 62 | Real arithmetic on floating-point numbers |S F | 63 | Redblackmap maps implemented by red-black trees | | 64 | Regex regular expressions as in POSIX 1003.2 | C | 65 | Real arithmetic on floating-point numbers |S F | 66 | Signal Unix signals |S | 67 | Socket interface to sockets | C | 68 | Splaymap splay-tree implementation of finite maps | L | 69 | Splayset splay-tree implementation of finite sets | L | 70 | String string manipulation |SDF NO | 71 | StringCvt conversion to and from strings |S F | 72 | Substring manipulation of constant-time substrings |S F | 73 | Susp support for lazy evaluation | | 74 | TextIO text input-output streams (imperative) |SDF | 75 | Time time points and durations |S F | 76 | Timer measuring real time and cpu time |S F | 77 | Unix starting concurrent subprocesses |S | 78 | Vector immutable constant-time-access vectors |SDF NO | 79 | VectorSlice immutable sub-vectors |S F | 80 | Weak arrays of weak pointers | | 81 | Word words (31-bit unsigned integers) |S F | 82 | Word8 bytes (8-bit unsigned integers) |S F | 83 | Word8Array arrays of bytes |S F | 84 | Word8ArraySlice sub-arrays of byte arrays |S F | 85 | Word8Vector vectors of bytes |S F | 86 | Word8VectorSlice sub-vectors of byte vectors |S F | 87 -------------------------------------------------------------------------- 88 89Only the libraries marked S belong to the SML Basis Library; the 90remaining ones are non-standard. 91 92 S means that the unit belongs to the new SML Basis Library. 93 D means that the unit is loaded if no `-P' option is specified (default). 94 F means that the unit is loaded if option `-P full' is specified. 95 N means that the unit is loaded if option `-P nj93' is specified. 96 O means that the unit is loaded if option `-P sml90' is specified. 97 L means that the unit is from the SML/NJ Library (version 0.2). 98 C means that the unit requires the Dynlib foreign (C) function 99 interface and other foreign libraries 100 101A unit U can be loaded into a Moscow ML interactive session by 102evaluating 103 load "U"; 104This will load U and any other units it depends on; it has no effect 105if U is already loaded. 106 107Any units required by a Moscow ML program are automatically included 108when the program is linked. For instance, 109 mosmlc source.sml -o target 110will automatically include unit U.uo if required by the program 111source.sml. Only the required parts of U will be included. 112 113The library contains structures belonging to the new SML Basis 114Library, as well as various non-standard utility structures, some of 115which are from the Standard ML of New Jersey library (v. 0.2), and 116some of which are from the Caml Light system. 117
README.src
1This is file mosml/src/mosmllib/README.src 2 3In general we discourage modifying the library source codefiles. If 4you modify them anyway, please note that: 5 6* Some U.sml files are produced automatically from corresponding U.mlp 7files by the C preprocessor; such U.sml files should never be edited 8by hand. Edit the U.mlp files instead. 9 10* To recompile the library (which is NOT necessary unless you have 11modified it), execute `make depend' and then `make' in this directory. 12