Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* Copyright (C) 2013 Matthew Fluet. |
2 | * Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh | |
3 | * Jagannathan, and Stephen Weeks. | |
4 | * Copyright (C) 1997-2000 NEC Research Institute. | |
5 | * | |
6 | * MLton is released under a BSD-style license. | |
7 | * See the file MLton-LICENSE for details. | |
8 | *) | |
9 | ||
10 | signature MLTON = | |
11 | sig | |
12 | (* val cleanAtExit: unit -> unit *) | |
13 | val debug: bool | |
14 | (* val deserialize: Word8Vector.vector -> 'a *) | |
15 | (* Pointer equality. The usual caveats about lack of a well-defined | |
16 | * semantics. | |
17 | *) | |
18 | val eq: 'a * 'a -> bool | |
19 | (* Structural equality. Equivalent to SML's polymorphic | |
20 | * equality on equality types and a conservative approximation | |
21 | * of equivalence other types. | |
22 | *) | |
23 | val equal: 'a * 'a -> bool | |
24 | (* Structural hash. *) | |
25 | val hash: 'a -> Word32.word | |
26 | (* val errno: unit -> int *) (* the value of the C errno global *) | |
27 | val isMLton: bool | |
28 | val safe: bool | |
29 | (* val serialize: 'a -> Word8Vector.vector *) | |
30 | val share: 'a -> unit | |
31 | val shareAll: unit -> unit | |
32 | val size: 'a -> int | |
33 | ||
34 | structure Array: MLTON_ARRAY | |
35 | structure BinIO: MLTON_BIN_IO | |
36 | (* structure CallStack: MLTON_CALL_STACK *) | |
37 | structure CharArray: MLTON_MONO_ARRAY | |
38 | structure CharVector: MLTON_MONO_VECTOR | |
39 | structure Cont: MLTON_CONT | |
40 | structure Exn: MLTON_EXN | |
41 | structure Finalizable: MLTON_FINALIZABLE | |
42 | structure GC: MLTON_GC | |
43 | structure IntInf: MLTON_INT_INF | |
44 | structure Itimer: MLTON_ITIMER | |
45 | structure LargeReal: MLTON_REAL | |
46 | structure LargeWord: MLTON_WORD | |
47 | structure Platform: MLTON_PLATFORM | |
48 | structure Pointer: MLTON_POINTER | |
49 | structure ProcEnv: MLTON_PROC_ENV | |
50 | structure Process: MLTON_PROCESS | |
51 | structure Profile: MLTON_PROFILE | |
52 | (* structure Ptrace: MLTON_PTRACE *) | |
53 | structure Random: MLTON_RANDOM | |
54 | structure Real: MLTON_REAL | |
55 | structure Real32: sig | |
56 | include MLTON_REAL | |
57 | val castFromWord: Word32.word -> t | |
58 | val castToWord: t -> Word32.word | |
59 | end | |
60 | structure Real64: sig | |
61 | include MLTON_REAL | |
62 | val castFromWord: Word64.word -> Real64.real | |
63 | val castToWord: Real64.real -> Word64.word | |
64 | end | |
65 | structure Rlimit: MLTON_RLIMIT | |
66 | structure Rusage: MLTON_RUSAGE | |
67 | structure Signal: MLTON_SIGNAL | |
68 | structure Syslog: MLTON_SYSLOG | |
69 | structure TextIO: MLTON_TEXT_IO | |
70 | structure Thread: MLTON_THREAD | |
71 | structure Vector: MLTON_VECTOR | |
72 | structure Weak: MLTON_WEAK | |
73 | structure Word: MLTON_WORD | |
74 | structure Word8: MLTON_WORD | |
75 | structure Word16: MLTON_WORD | |
76 | structure Word32: MLTON_WORD | |
77 | structure Word64: MLTON_WORD | |
78 | structure Word8Array: MLTON_MONO_ARRAY | |
79 | structure Word8Vector: MLTON_MONO_VECTOR | |
80 | structure World: MLTON_WORLD | |
81 | end |