module Stats: sig
.. end
Utilities for maintaining timing statistics
type
timerModeEnum =
| |
Disabled |
| |
SoftwareTimer |
val reset : timerModeEnum -> unit
Resets all the timings and specifies the method to use for future timings.
Call this before doing any timing.
val countCalls : bool ref
Flag to indicate whether or not to count the number of calls of
to
Stats.repeattime
or
Stats.time
for each label.
(default: false)
val time : string -> ('a -> 'b) -> 'a -> 'b
Time a function and associate the time with the given string. If some
timing information is already associated with that string, then accumulate
the times. If this function is invoked within another timed function then
you can have a hierarchy of timings
val repeattime : float -> string -> ('a -> 'b) -> 'a -> 'b
repeattime is like time but runs the function several times until the total
running time is greater or equal to the first argument. The total time is
then divided by the number of times the function was run.
val print : out_channel -> string -> unit
Print the current stats preceeded by a message
val lookupTime : string -> float
val timethis : ('a -> 'b) -> 'a -> 'b
Time a function and set lastTime to the time it took
val lastTime : float ref