3.4.9 Profile structure values
profile
Function
- Summary
- Produces an execution profile of the evaluation of a single function.
- Signature
MLWORKS.Profile
- Structure
MLWorks.Profile
- Type
val profile : options -> ('a -> 'b) -> 'a -> ('b result * profile)
- Syntax
profile options f x -> (result, profile)
- Arguments
- options
- Profiler options. A value of type
options.
- f
- A function to profile.
- x
- An argument to f.
- Values
- result
- The result of the evaluation of f x. A value of type
'a result.
- profile
- Profile data for f x. A value of type
profile.
- Description
- Produces an execution profile of a single function f applied to the value x. Profile data is returned in a value of type
profile.The result is a value of type 'a result.
- The profile type contains profiler performance data and an execution profile for f. See the entry for
profile, page 31, for more details.
- See also
function_profile, page 35
profile, page 31
call_header, page 43
space_header, page 43
time_header, page 44
general_header, page 45
MLWorks Reference Manual (version 1.0) - 3 DEC 1996
Generated with Harlequin WebMaker