4 The MLWorks Interactive Environment Library

4.5 Profiling: the Profile structure

The Profile structure provides a programmatic interface to the MLWorks profiler. See Section 3.4 on page 22 for more details.

structure Profile:
  sig
    val profile: ('a -> 'b) -> 'a -> 'b
    val profileFull: MLWorks.Profile.options 
                     -> ('a -> 'b) -> 'a -> 'b
    val profileSpace: ('a -> 'b) -> 'a -> 'b
    val profileTime: ('a -> 'b) -> 'a -> 'b
    val profileTool: MLWorks.Profile.profile -> unit
  end

profile
profileFull
profileSpace
profileTime
profileTool

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker