| Standard ML Basis Library |
structure InternalTimer : sig include TIMER val resetTimers : unit -> unit end =
struct
structure PB = PreBasis
structure Int = IntImp
structure Int32 = Int32Imp
structure Time = TimeImp
datatype cpu_timer = CPUT of {usr : PB.time, sys : PB.time, gc : PB.time}
datatype real_timer = RealT of PB.time
val getTime
val startCPUTimer : unit -> cpu_timer
val checkCPUTimer
: cpu_timer -> {usr : Time.time, sys : Time.time, gc : Time.time}
val initCPUTime
val totalCPUTimer : unit -> cpu_timer
val startRealTimer : unit -> real_timer
val checkRealTimer : real_timer -> Time.time
val initRealTime
val totalRealTimer : unit -> real_timer
val resetTimers : unit -> unit
end
Datatype detail |
---|
datatype cpu_timer = CPUT of {usr : PB.time, sys : PB.time, gc : PB.time}
datatype real_timer = RealT of PB.time
DataConstructor detail |
---|
constructor CPUT : {usr : PB.time, sys : PB.time, gc : PB.time} -> cpu_timer
constructor RealT : PB.time -> real_timer
Value detail |
---|
val getTime
val startCPUTimer : unit -> cpu_timer
val checkCPUTimer
: cpu_timer -> {usr : Time.time, sys : Time.time, gc : Time.time}
val initCPUTime
val totalCPUTimer : unit -> cpu_timer
val startRealTimer : unit -> real_timer
val checkRealTimer : real_timer -> Time.time
val initRealTime
val totalRealTimer : unit -> real_timer
val resetTimers : unit -> unit
| Standard ML Basis Library |
This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.
Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.
Permission is granted for internet users to make one paper copy for their
own personal use. Further hardcopy reproduction is strictly prohibited.
Permission to distribute the HTML document electronically on any medium
other than the internet must be requested from the copyright holders by
contacting the editors.
Printed versions of the SML Basis Manual are available from Cambridge
University Press.
To order, please visit
www.cup.org (North America) or
www.cup.cam.ac.uk (outside North America). |