4 The MLWorks Interactive Environment Library

4.6 Timing: the Timer structure

The Timer structure is a convenient programmatic interface to the MLWorks.Time structure. This structure is deprecated.

structure Timer:
  sig
    val time: ('a ->'b) -> 'a -> MLWorks.Time.Elapsed.T
    val timeIterations: int -> ('a -> 'b) -> 'a
                        -> MLWorks.Time.Elapsed.T
    val printTiming: {function: 'a -> 'b, name: string, 
                     stream: MLWorks.IO.outstream} -> 'a -> 'b
  end

time
timeIterations
printTiming

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker