The Standard ML Basis Library


The IEEEReal structure

The IEEEReal structure defines types associated with an IEEE implementation of floating-point numbers. In addition, it provides control for the floating-point hardware's rounding mode. Refer to the IEEE standard 754-1985 and the ANSI/IEEE standard 854-1987 for additional information.


Synopsis

signature IEEE_REAL
structure IEEEReal : IEEE_REAL

Interface

exception Unordered
datatype real_order = LESS | EQUAL | GREATER | UNORDERED
datatype nan_mode = QUIET | SIGNALLING
datatype sign_mode = NEG | POS
datatype float_class
  = NAN of nan_mode
  | INF of sign_mode
  | ZERO of sign_mode
  | NORMAL of sign_mode
  | SUBNORMAL of sign_mode
datatype rounding_mode
  = TO_NEAREST
  | TO_NEGINF
  | TO_POSINF
  | TO_ZERO
val setRoundingMode : rounding_mode -> unit
val getRoundingMode : unit -> rounding_mode

Description

exception Unordered

datatype real_order

datatype nan_mode

datatype sign_mode

datatype float_class

datatype rounding_mode

setRoundingMode mode
getRoundingMode ()
set and get the rounding mode of the underlying hardware.


See Also

REAL, MATH

[ INDEX | TOP | Parent | Root ]

Last Modified March 5, 1996
Copyright © 1996 AT&T