alice
library
manual.

Home
Tour
Language
Library
Tools
Site Map

The Timer structure

^________ Synopsis ^{____________________________________________________}

    signature TIMER
    structure Timer : TIMER
  

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

See also: Time

^________ Import ^{______________________________________________________}

Imported implicitly.

^________ Interface ^{___________________________________________________}

    signature TIMER =
    sig
	type cpu_timer
	type real_timer

	val startRealTimer : unit -> real_timer
	val checkRealTimer : real_timer -> Time.time
	val totalRealTimer : unit -> real_timer
    end
  

^________ Description ^{_________________________________________________}

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

Limitations: The following standard functions are currently missing:

• startCPUTimer, checkCPUTimes, checkCPUTimer, checkGCTime, totalCPUTimer