Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* Copyright (C) 2009 Matthew Fluet. |
2 | * Copyright (C) 1999-2006, 2008 Henry Cejtin, Matthew Fluet, Suresh | |
3 | * Jagannathan, and Stephen Weeks. | |
4 | * | |
5 | * MLton is released under a BSD-style license. | |
6 | * See the file MLton-LICENSE for details. | |
7 | *) | |
8 | ||
9 | signature PERVASIVE_REAL = REAL | |
10 | signature PERVASIVE_WORD = WORD | |
11 | structure Pervasive = | |
12 | struct | |
13 | structure Array = Array | |
14 | structure Array2 = Array2 | |
15 | structure Bool = Bool | |
16 | structure Byte = Byte | |
17 | structure Char = Char | |
18 | structure CharArray = CharArray | |
19 | structure CharVector = CharVector | |
20 | structure CommandLine = CommandLine | |
21 | structure Date = Date | |
22 | structure General = General | |
23 | structure IEEEReal = IEEEReal | |
24 | structure Int = Int | |
25 | structure IntInf = IntInf | |
26 | structure LargeInt = LargeInt | |
27 | structure LargeReal = LargeReal | |
28 | structure LargeWord = LargeWord | |
29 | structure ListPair = ListPair | |
30 | structure List = List | |
31 | structure Math = Math | |
32 | structure Option = Option | |
33 | structure OS = OS | |
34 | structure PackReal32Little = PackReal32Little | |
35 | structure PackReal64Little = PackReal64Little | |
36 | structure PackWord32Little = PackWord32Little | |
37 | structure PackWord64Little = PackWord64Little | |
38 | structure Position = Position | |
39 | structure Posix = Posix | |
40 | structure Real = Real | |
41 | structure Real32 = Real32 | |
42 | structure Real64 = Real64 | |
43 | structure Socket = Socket | |
44 | structure String = String | |
45 | structure StringCvt = StringCvt | |
46 | structure Substring = Substring | |
47 | structure SysWord = SysWord | |
48 | structure TextIO = TextIO | |
49 | structure Time = Time | |
50 | structure Unix = Unix | |
51 | structure Vector = Vector | |
52 | structure Word = Word | |
53 | structure Word8 = Word8 | |
54 | structure Word8Array = Word8Array | |
55 | structure Word8Vector = Word8Vector | |
56 | structure Word32 = Word32 | |
57 | structure Word64 = Word64 | |
58 | ||
59 | type unit = General.unit | |
60 | type real = Real.real | |
61 | type char = Char.char | |
62 | type string = String.string | |
63 | type substring = Substring.substring | |
64 | type exn = General.exn | |
65 | type 'a array = 'a Array.array | |
66 | type 'a vector = 'a Vector.vector | |
67 | type 'a ref = 'a ref | |
68 | datatype bool = datatype bool | |
69 | datatype option = datatype option | |
70 | datatype order = datatype General.order | |
71 | datatype list = datatype list | |
72 | ||
73 | val ! = General.! | |
74 | val op := = General.:= | |
75 | val op @ = List.@ | |
76 | val op ^ = String.^ | |
77 | val app = List.app | |
78 | val op before = General.before | |
79 | val ceil = Real.ceil | |
80 | val chr = Char.chr | |
81 | val concat = String.concat | |
82 | val exnMessage = General.exnMessage | |
83 | val exnName = General.exnName | |
84 | val explode = String.explode | |
85 | val floor = Real.floor | |
86 | val foldl = List.foldl | |
87 | val foldr = List.foldr | |
88 | val getOpt = Option.getOpt | |
89 | val hd = List.hd | |
90 | val ignore = General.ignore | |
91 | val implode = String.implode | |
92 | val isSome = Option.isSome | |
93 | val length = List.length | |
94 | val map = List.map | |
95 | val not = Bool.not | |
96 | val null = List.null | |
97 | val op o = General.o | |
98 | val ord = Char.ord | |
99 | val print = TextIO.print | |
100 | val real = Real.fromInt | |
101 | val rev = List.rev | |
102 | val round = Real.round | |
103 | val size = String.size | |
104 | val str = String.str | |
105 | val substring = String.substring | |
106 | val tl = List.tl | |
107 | val trunc = Real.trunc | |
108 | val valOf = Option.valOf | |
109 | val vector = Vector.fromList | |
110 | end |