signature TIME structure Time : TIME
An extended version of the Standard ML Basis' Time structure.
See also: HASHABLE, ORDERED, Date, Timer
Imported implicitly.
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
Items not described here are as in the Standard ML Basis' Time structure.
A local synonym for type time.
An explicit equality function on time values. Equivalent to op=.
A hash function for time values.