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.