Module Debug.Profile

getProcessInfos :: IO [(ProcessInfo,Int)]   

Returns various informations about the current state of the Curry process. Note that the returned values are implementation dependent so that one should interpret them with care!

Note for KiCS2 users: Since GHC version 7.x, one has to set the run-time option -T when this operation is used. This can be done by the kics2 command

:set rts -T

Further infos:

• externally defined

garbageCollectorOff :: IO ()   

Turns off the garbage collector of the run-time system (if possible). This could be useful to get more precise data of memory usage.

Further infos:

• externally defined

garbageCollectorOn :: IO ()   

Turns on the garbage collector of the run-time system (if possible).

Further infos:

• externally defined

garbageCollect :: IO ()   

Invoke the garbage collector (if possible). This could be useful before run-time critical operations.

Further infos:

• externally defined

showMemInfo :: [(ProcessInfo,Int)] -> String   

Get a human readable version of the memory situation from the process infos.

printMemInfo :: IO ()   

Print a human readable version of the current memory situation of the Curry process.

profileTime :: IO a -> IO a   

Print the time needed to execute a given IO action.

getTimings :: IO a -> IO (a,Int,Int,Int)   

Returns the run time, elapsed time, and number of garbage collections needed to execute a given IO action.

getTimingsNF :: a -> IO (Int,Int,Int)   

Evaluates the argument to normal form and returns the run time, elapsed time, and number of garbage collections needed for this evaluation.

getElapsedTimeNF :: IO a -> IO (a,Int)   

Execute an I/O action, evaluate result to normal form, and return the result together with the elapsed time (in milliseconds).

profileTimeNF :: a -> IO ()   

Evaluates the argument to normal form and print the time needed for this evaluation.

profileSpace :: IO a -> IO a   

Print the time and space needed to execute a given IO action. During the executation, the garbage collector is turned off to get the total space usage.

profileSpaceNF :: a -> IO ()   

Evaluates the argument to normal form and print the time and space needed for this evaluation. During the evaluation, the garbage collector is turned off to get the total space usage.