Module System.CPUTime


Exported Functions: getCPUTime, getElapsedTime


Exported Functions


getCPUTime :: IO Int  Deterministic 

Returns the current cpu time of the process in milliseconds.

Further infos:
  • externally defined

getElapsedTime :: IO Int  Deterministic 

Returns the current elapsed time of the process in milliseconds. This operation is not supported in KiCS2 (there it always returns 0), but only included for compatibility reasons.

Further infos:
  • externally defined