alice
library
manual.

Home
Tour
Language
Library
Tools
Site Map

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

	 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
  

^________ Description ^{_________________________________________________}

Like the Standard ML Basis' IEEEReal structure.

exception Unordered

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