alice
library
manual.

Alice Project

The IEEEReal structure


________ Synopsis ____________________________________________________

    signature IEEE_REAL
    structure IEEEReal : IEEE_REAL
  

The Standard ML Basis' IEEEReal structure.

See also: Real


________ Import ______________________________________________________

Imported implicitly.


________ Interface ___________________________________________________

    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}
    end
  

________ Description _________________________________________________

Like the Standard ML Basis' IEEEReal structure.

Limitations: The following standard functions are currently missing:

exception Unordered

Indicates that two values are incomparable with respect to a partial ordering. Equal to General.Unordered.



last modified 1970/01/01 01:00