alice
library
manual.
signature IEEE_REAL
structure IEEEReal : IEEE_REAL
The Standard ML Basis' IEEEReal structure.
See also: Real
Imported implicitly.
signature IEEE_REAL =
sig
exception Unordered
datatype real_order = LESS | EQUAL | GREATER | UNORDERED
datatype float_class = NAN | INF | ZERO | NORMAL | SUBNORMAL
datatype rounding_mode = TO_NEAREST | TO_NEGINF | TO_POSINF | TO_ZERO
type decimal_approx = {kind : float_class, sign : bool, digits : int list, exp : int}
val getRoundingMode : unit -> rounding_mode
val setRoundingMode : rounding_mode -> unit
val toString : decimal_approx -> string
val fromString : string -> decimal_approx option
val scan : (char, 'a) StringCvt.reader -> (decimal_approx, 'a) StringCvt.reader
end
Like the Standard ML Basis' IEEEReal structure.
Indicates that two values are incomparable with respect to a partial ordering. Equal to General.Unordered.