10 |
structure NumScan : sig |
structure NumScan : sig |
11 |
|
|
12 |
val scanWord : StringCvt.radix |
val scanWord : StringCvt.radix |
13 |
-> (char, 'a) StringCvt.reader -> (word32, 'a) StringCvt.reader |
-> (char, 'a) StringCvt.reader -> (Word32.word, 'a) StringCvt.reader |
14 |
val scanInt : StringCvt.radix |
val scanInt : StringCvt.radix |
15 |
-> (char, 'a) StringCvt.reader -> (int32, 'a) StringCvt.reader |
-> (char, 'a) StringCvt.reader -> (Int32.int, 'a) StringCvt.reader |
16 |
val scanReal : (char, 'a) StringCvt.reader -> (real, 'a) StringCvt.reader |
val scanReal : (char, 'a) StringCvt.reader -> (real, 'a) StringCvt.reader |
17 |
(** should be to LargeReal.real **) |
(** should be to LargeReal.real **) |
18 |
|
|
22 |
structure I = InlineT.Int31 |
structure I = InlineT.Int31 |
23 |
structure I32 = InlineT.Int32 |
structure I32 = InlineT.Int32 |
24 |
structure R = InlineT.Real64 |
structure R = InlineT.Real64 |
25 |
type word = word32 |
type word = Word32.word |
26 |
|
|
27 |
val op < = W.< |
val op < = W.< |
28 |
val op >= = W.>= |
val op >= = W.>= |
35 |
|
|
36 |
val largestNegInt32 : word = 0wx80000000 |
val largestNegInt32 : word = 0wx80000000 |
37 |
val largestPosInt32 : word = 0wx7fffffff |
val largestPosInt32 : word = 0wx7fffffff |
38 |
val minInt32 : int32 = ~2147483648 |
val minInt32 : Int32.int = ~2147483648 |
39 |
|
|
40 |
(* A table for mapping digits to values. Whitespace characters map to |
(* A table for mapping digits to values. Whitespace characters map to |
41 |
* 128, "+" maps to 129, "-","~" map to 130, "." maps to 131, and the |
* 128, "+" maps to 129, "-","~" map to 130, "." maps to 131, and the |