Safe Haskell	None
Language	Haskell2010

Agda.Utils.Time

Description

Time-related utilities.

Synopsis

Documentation

type ClockTime = UTCTime Source #

Timestamps.

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.

newtype CPUTime Source #

CPU time in pico (10^-12) seconds.

Constructors

CPUTime Integer

Instances

Enum CPUTime Source #
Methods succ :: CPUTime -> CPUTime # pred :: CPUTime -> CPUTime # toEnum :: Int -> CPUTime # fromEnum :: CPUTime -> Int # enumFrom :: CPUTime -> [CPUTime] # enumFromThen :: CPUTime -> CPUTime -> [CPUTime] # enumFromTo :: CPUTime -> CPUTime -> [CPUTime] # enumFromThenTo :: CPUTime -> CPUTime -> CPUTime -> [CPUTime] #
Eq CPUTime Source #
Methods (==) :: CPUTime -> CPUTime -> Bool # (/=) :: CPUTime -> CPUTime -> Bool #
Integral CPUTime Source #
Methods quot :: CPUTime -> CPUTime -> CPUTime # rem :: CPUTime -> CPUTime -> CPUTime # div :: CPUTime -> CPUTime -> CPUTime # mod :: CPUTime -> CPUTime -> CPUTime # quotRem :: CPUTime -> CPUTime -> (CPUTime, CPUTime) # divMod :: CPUTime -> CPUTime -> (CPUTime, CPUTime) # toInteger :: CPUTime -> Integer #
Num CPUTime Source #
Methods (+) :: CPUTime -> CPUTime -> CPUTime # (-) :: CPUTime -> CPUTime -> CPUTime # (*) :: CPUTime -> CPUTime -> CPUTime # negate :: CPUTime -> CPUTime # abs :: CPUTime -> CPUTime # signum :: CPUTime -> CPUTime # fromInteger :: Integer -> CPUTime #
Ord CPUTime Source #
Methods compare :: CPUTime -> CPUTime -> Ordering # (<) :: CPUTime -> CPUTime -> Bool # (<=) :: CPUTime -> CPUTime -> Bool # (>) :: CPUTime -> CPUTime -> Bool # (>=) :: CPUTime -> CPUTime -> Bool # max :: CPUTime -> CPUTime -> CPUTime # min :: CPUTime -> CPUTime -> CPUTime #
Real CPUTime Source #
Methods toRational :: CPUTime -> Rational #
Show CPUTime Source #
Methods showsPrec :: Int -> CPUTime -> ShowS # show :: CPUTime -> String # showList :: [CPUTime] -> ShowS #
Pretty CPUTime Source #	Print CPU time in milli (10^-3) seconds.
Methods pretty :: CPUTime -> Doc Source # prettyPrec :: Int -> CPUTime -> Doc Source # prettyList :: [CPUTime] -> Doc Source #

fromMilliseconds :: Integer -> CPUTime Source #