Overview  Index  Help 
Standard ML Basis Library

InternalTimer


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

cpu_timer

datatype cpu_timer = CPUT of {usr : PB.time, sys : PB.time, gc : PB.time}


real_timer

datatype real_timer = RealT of PB.time

 
DataConstructor detail

CPUT

constructor CPUT : {usr : PB.time, sys : PB.time, gc : PB.time} -> cpu_timer


RealT

constructor RealT : PB.time -> real_timer

 
Value detail

getTime

val getTime


startCPUTimer

val startCPUTimer : unit -> cpu_timer


checkCPUTimer

val checkCPUTimer
    : cpu_timer -> {usr : Time.time, sys : Time.time, gc : Time.time}


initCPUTime

val initCPUTime


totalCPUTimer

val totalCPUTimer : unit -> cpu_timer


startRealTimer

val startRealTimer : unit -> real_timer


checkRealTimer

val checkRealTimer : real_timer -> Time.time


initRealTime

val initRealTime


totalRealTimer

val totalRealTimer : unit -> real_timer


resetTimers

val resetTimers : unit -> unit

 


Overview  Index  Help 
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).