Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Utils.Time
Description
Time-related utilities.
Synopsis
- type ClockTime = UTCTime
- getClockTime :: IO ClockTime
- getCPUTime :: MonadIO m => m CPUTime
- measureTime :: MonadIO m => m a -> m (a, CPUTime)
- newtype CPUTime = CPUTime Integer
- fromMilliseconds :: Integer -> CPUTime
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.
CPU time in pico (10^-12) seconds.
Instances
Enum CPUTime Source # | |
Defined in Agda.Utils.Time Methods succ :: CPUTime -> CPUTime Source # pred :: CPUTime -> CPUTime Source # toEnum :: Int -> CPUTime Source # fromEnum :: CPUTime -> Int Source # enumFrom :: CPUTime -> [CPUTime] Source # enumFromThen :: CPUTime -> CPUTime -> [CPUTime] Source # enumFromTo :: CPUTime -> CPUTime -> [CPUTime] Source # enumFromThenTo :: CPUTime -> CPUTime -> CPUTime -> [CPUTime] Source # | |
Eq CPUTime Source # | |
Integral CPUTime Source # | |
Defined in Agda.Utils.Time Methods quot :: CPUTime -> CPUTime -> CPUTime Source # rem :: CPUTime -> CPUTime -> CPUTime Source # div :: CPUTime -> CPUTime -> CPUTime Source # mod :: CPUTime -> CPUTime -> CPUTime Source # quotRem :: CPUTime -> CPUTime -> (CPUTime, CPUTime) Source # | |
Num CPUTime Source # | |
Defined in Agda.Utils.Time | |
Ord CPUTime Source # | |
Real CPUTime Source # | |
Defined in Agda.Utils.Time Methods toRational :: CPUTime -> Rational Source # | |
Show CPUTime Source # | |
Pretty CPUTime Source # | Print CPU time in milli (10^-3) seconds. |
fromMilliseconds :: Integer -> CPUTime Source #