Agda.Utils.Time

Time-related utilities.

Documentation

type ClockTime = UTCTime

Timestamps.

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.

newtype CPUTime

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

Constructors

CPUTime Integer

Instances

Enum CPUTime

Defined in Agda.Utils.Time

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

Defined in Agda.Utils.Time

Methods

(==) :: CPUTime -> CPUTime -> Bool

(/=) :: CPUTime -> CPUTime -> Bool

Integral CPUTime

Defined in Agda.Utils.Time

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

Defined in Agda.Utils.Time

Methods

(+) :: CPUTime -> CPUTime -> CPUTime

(-) :: CPUTime -> CPUTime -> CPUTime

(*) :: CPUTime -> CPUTime -> CPUTime

negate :: CPUTime -> CPUTime

abs :: CPUTime -> CPUTime

signum :: CPUTime -> CPUTime

fromInteger :: Integer -> CPUTime

Ord CPUTime

Defined in Agda.Utils.Time

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

Defined in Agda.Utils.Time

Methods

toRational :: CPUTime -> Rational

Show CPUTime

Defined in Agda.Utils.Time

Methods

showsPrec :: Int -> CPUTime -> ShowS

show :: CPUTime -> String

showList :: [CPUTime] -> ShowS

Pretty CPUTime

Print CPU time in milli (10^-3) seconds.

Defined in Agda.Utils.Time

Methods

pretty :: CPUTime -> Doc

prettyPrec :: Int -> CPUTime -> Doc

prettyList :: [CPUTime] -> Doc

ToJSON CPUTime

Defined in Agda.Interaction.JSONTop

Methods

toJSON :: CPUTime -> Value

toEncoding :: CPUTime -> Encoding

toJSONList :: [CPUTime] -> Value

toEncodingList :: [CPUTime] -> Encoding

EncodeTCM CPUTime

Defined in Agda.Interaction.JSONTop

Methods

encodeTCM :: CPUTime -> TCM Value

fromMilliseconds :: Integer -> CPUTime