Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Utils.Time
Description
Time-related utilities.
- type ClockTime = UTCTime
- getClockTime :: IO ClockTime
- getCPUTime :: MonadIO m => m CPUTime
- measureTime :: MonadIO m => m a -> m (a, CPUTime)
- newtype CPUTime = CPUTime Integer
Documentation
getClockTime :: IO ClockTime #
The current time.
getCPUTime :: MonadIO m => m CPUTime #
measureTime :: MonadIO m => m a -> m (a, CPUTime) #
Measure the time of a computation. Of course, does not work with exceptions.