[hcoop/debian/mlton.git] / basis-library / libs / basis-1997 / real / IEEE-real.sig

signature IEEE_REAL_1997 =
   sig
      exception Unordered
      datatype real_order = LESS | EQUAL | GREATER | UNORDERED
      datatype nan_mode = QUIET | SIGNALLING
      datatype float_class = 
         NAN of nan_mode
       | INF
       | ZERO
       | NORMAL
       | SUBNORMAL
      datatype rounding_mode = 
         TO_NEAREST
       | TO_NEGINF
       | TO_POSINF
       | TO_ZERO
      val setRoundingMode: rounding_mode -> unit
      val getRoundingMode: unit -> rounding_mode
      type decimal_approx = {kind: float_class, sign: bool, 
                             digits: int list, exp: int}
      val toString: decimal_approx -> string
      val fromString: string -> decimal_approx option 
   end
Commit	Line	Data
7f918cf1 CE	1	signature IEEE_REAL_1997 =
	2	sig
	3	exception Unordered
	4	datatype real_order = LESS \| EQUAL \| GREATER \| UNORDERED
	5	datatype nan_mode = QUIET \| SIGNALLING
	6	datatype float_class =
	7	NAN of nan_mode
	8	\| INF
	9	\| ZERO
	10	\| NORMAL
	11	\| SUBNORMAL
	12	datatype rounding_mode =
	13	TO_NEAREST
	14	\| TO_NEGINF
	15	\| TO_POSINF
	16	\| TO_ZERO
	17	val setRoundingMode: rounding_mode -> unit
	18	val getRoundingMode: unit -> rounding_mode
	19	type decimal_approx = {kind: float_class, sign: bool,
	20	digits: int list, exp: int}
	21	val toString: decimal_approx -> string
	22	val fromString: string -> decimal_approx option
	23	end