module Stats:sig..end
Utilities for maintaining timing statistics
type timerModeEnum =
| |
Disabled |
(* | Do not collect timing information | *) |
| |
SoftwareTimer |
(* | Use OCaml's | *) |
val reset : timerModeEnum -> unitResets all the timings and specifies the method to use for future timings. Call this before doing any timing.
val countCalls : bool Stdlib.refFlag 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 -> 'bTime 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 -> 'brepeattime 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 : Stdlib.out_channel -> string -> unitPrint the current stats preceeded by a message
val lookupTime : string -> floatReturn the cumulative time of all calls to Stats.time and
Stats.repeattime with the given label.
val timethis : ('a -> 'b) -> 'a -> 'bTime a function and set lastTime to the time it took
val lastTime : float Stdlib.ref