Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/PervEnv/Basis/real.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/PervEnv/Basis/real.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89 - (view) (download) (as text)

1 : monnier 89 (* real.sig
2 :     *
3 :     * COPYRIGHT (c) 1995 AT&T Bell Laboratories.
4 :     *
5 :     *)
6 :    
7 :     signature REAL =
8 :     sig
9 :     type real
10 :    
11 :     structure Math : MATH
12 :     sharing type real = Math.real
13 :    
14 :     val radix : Int.int
15 :     val precision : Int.int
16 :     (* the number of digits (each 0..radix-1) in mantissa *)
17 :    
18 :     val maxFinite : real (* maximum finite number *)
19 :     (*** these cause problems on the alpha? ***)
20 :     val minPos : real (* minimum non-zero positive number *)
21 :     val minNormalPos : real (* minimum non-zero normalized number *)
22 :    
23 :     val posInf : real
24 :     val negInf : real
25 :    
26 :     val + : real * real -> real
27 :     val - : real * real -> real
28 :     val * : real * real -> real
29 :     val / : real * real -> real
30 :     val *+ : real * real * real -> real
31 :     val *- : real * real * real -> real
32 :     val ~ : real -> real
33 :    
34 :     val abs : real -> real
35 :     val min : real * real -> real
36 :     val max : real * real -> real
37 :    
38 :     val sign : real -> int
39 :     val signBit : real -> bool
40 :     val sameSign : real * real -> bool
41 :     val copySign : real * real -> real
42 :    
43 :     val compare : real * real -> order
44 :     val compareReal : real * real -> IEEEReal.real_order
45 :    
46 :     val < : real * real -> bool
47 :     val <= : real * real -> bool
48 :     val > : real * real -> bool
49 :     val >= : real * real -> bool
50 :    
51 :     val == : real * real -> bool
52 :     val != : real * real -> bool
53 :     val ?= : real * real -> bool
54 :     val unordered : real * real -> bool
55 :    
56 :     val isFinite : real -> bool
57 :     val isNan : real -> bool
58 :     val isNormal : real -> bool
59 :    
60 :     val class : real -> IEEEReal.float_class
61 :    
62 :     val fmt : StringCvt.realfmt -> real -> string
63 :     val toString : real -> string
64 :     val fromString : string -> real option
65 :     val scan : (char, 'a) StringCvt.reader -> (real, 'a) StringCvt.reader
66 :    
67 :     val toManExp : real -> {man: real, exp: int}
68 :     val fromManExp : {man: real, exp: int} -> real
69 :    
70 :     val split : real -> {whole: real, frac: real}
71 :     val realMod : real -> real
72 :    
73 :     val rem : real * real -> real
74 :     val nextAfter : real * real -> real
75 :     val checkFloat : real -> real
76 :    
77 :     val floor : real -> Int.int
78 :     val ceil : real -> Int.int
79 :     val trunc : real -> Int.int
80 :     val round : real -> Int.int
81 :    
82 :     val realFloor : real -> real
83 :     val realCeil : real -> real
84 :     val realTrunc : real -> real
85 :    
86 :     val toInt : IEEEReal.rounding_mode -> real -> int
87 :     val toLargeInt : IEEEReal.rounding_mode -> real -> LargeInt.int
88 :    
89 :     val fromInt : Int.int -> real
90 :     val fromLargeInt : LargeInt.int -> real
91 :    
92 :     val toLarge : real -> LargeReal.real
93 :     val fromLarge: IEEEReal.rounding_mode -> LargeReal.real -> real
94 :    
95 :     val toDecimal : real -> IEEEReal.decimal_approx
96 :     val fromDecimal : IEEEReal.decimal_approx -> real
97 :    
98 :     end;
99 :    
100 :     (*
101 :     * $Log: real.sig,v $
102 :     * Revision 1.1.1.1 1998/04/08 18:40:04 george
103 :     * Version 110.5
104 :     *
105 :     *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0