polyml/basis/Int.sml

24     eqtype  int
25     val toLarge : int -> LargeInt.int
26     val fromLarge : LargeInt.int -> int
27     val toInt : int -> Int.int
28     val fromInt : Int.int -> int
29     val precision : Int.int option
31     val minInt : int option
32     val maxInt : int option
34     val ~ : int -> int
35     val * : (int * int) -> int
36     val div : (int * int) -> int
37     val mod : (int * int) -> int
38     val quot : (int * int) -> int
39     val rem : (int * int) -> int
40     val + : (int * int) -> int
41     val - : (int * int) -> int
42     val compare : (int * int) -> General.order
44     val > : (int * int) -> bool
45     val >= : (int * int) -> bool
46     val < : (int * int) -> bool
47     val <= : (int * int) -> bool
49     val abs : int -> int
50     val min : (int * int) -> int
51     val max : (int * int) -> int
52     val sign : int -> Int.int
53     val sameSign : (int * int) -> bool
54     val fmt : StringCvt.radix -> int -> string
55     val toString : int -> string
56     val fromString : string -> int option
57     val scan : StringCvt.radix -> (char, 'a) StringCvt.reader -> (int, 'a) StringCvt.reader
62     (* Arbitrary precision int. *)
63     type int = LargeInt.int
67     (* Whether int is short or long we can just cast it here. *)
68     val fromInt: Int.int -> int = RunCall.unsafeCast (* Just a cast. *)
70     (* If int is fixed precision we have to check that the value will fit.  *)
71     fun toInt(i: int): Int.int =
82     fun abs (i: int): int = if i >= zero then i else ~ i
91     fun sign i : Int.int = if i = zero then 0 else if i < zero then ~1 else 1
99         val fixedIntAsWord: FixedInt.int -> word = RunCall.unsafeCast
132         fun toChar (digit: Int.int): char =
331     (* This is now a fixed precision int.  Currently it is the same as the short
332        form of an arbitrary precision int i.e. 31 bits on 32-bit machines and
334     type int = FixedInt.int (* Defined in the basis *)
336     (* Whether int is fixed or arbitrary precision we can just cast it here. *)
337     val toInt: int -> Int.int = RunCall.unsafeCast (* Just a cast. *)
339     (* If int is arbitrary precision we have to check that the value will fit. *)
340     fun fromInt(i: Int.int): int =
345     (* Conversion from fixed int to large is just a cast.  It will always fit. *)
346     val toLarge: int -> LargeInt.int = RunCall.unsafeCast
349     fun fromLarge(i: LargeInt.int): int =
355         fun power2' n 0 : LargeInt.int = n
358         val bitsInWord: int = (RunCall.unsafeCast LibrarySupport.wordSize) * 8
373     (* Converter to int values. This replaces the basic conversion
425 (*    val ~ : int->int = ~
426     and op * : int*int->int = op *
427     and op + : int*int->int = op +
428     and op - : int*int->int = op -
430     val op < : int*int->bool = op <
431     and op > : int*int->bool = op >
432     and op <= : int*int->bool = op <=
433     and op >= : int*int->bool = op >=*)
445     (* Install the pretty printer for int *)
456 (* The actual Int structure is defined depending on what int is. *)