alice
library
manual.

Home
Tour
Language
Library
Tools
Site Map

The Time structure

^________ Synopsis ^{____________________________________________________}

    signature TIME
    structure Time : TIME
  

An extended version of the Standard ML Basis' Time structure.

See also: HASHABLE, ORDERED, Date, Timer

^________ Import ^{______________________________________________________}

Imported implicitly.

^________ Interface ^{___________________________________________________}

    signature TIME =
    sig
	eqtype time
	type t = time

	exception Time

	val zeroTime :         time

	val fromReal :         LargeReal.real -> time
	val toReal :           time -> LargeReal.real
	val toSeconds :        time -> LargeInt.int
	val toMilliseconds :   time -> LargeInt.int
	val toMicroseconds :   time -> LargeInt.int
	val toNanoseconds :    time -> LargeInt.int
	val fromSeconds :      LargeInt.int -> time
	val fromMilliseconds : LargeInt.int -> time
	val fromMicroseconds : LargeInt.int -> time
	val fromNanoseconds :  LargeInt.int -> time

	val op + :             time * time -> time
	val op - :             time * time -> time
	val op < :             time * time -> bool
	val op > :             time * time -> bool
	val op <= :            time * time -> bool
	val op >= :            time * time -> bool
	val equal :            time * time -> bool
	val compare :          time * time -> order
	val hash :             time  -> int
    end
  

^________ Description ^{_________________________________________________}

Items not described here are as in the Standard ML Basis' Time structure.

type t = time

A local synonym for type time.

equal (t1, t2)

An explicit equality function on time values. Equivalent to op=.

hash t

A hash function for time values.