| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
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 Source
The current time.
getCPUTime :: MonadIO m => m CPUTime Source
measureTime :: MonadIO m => m a -> m (a, CPUTime) Source
Measure the time of a computation. Of course, does not work with exceptions.