Agda-2.5.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell2010

Agda.Utils.Time

Description

Time-related utilities.

Synopsis

Documentation

type ClockTime = UTCTime #

Timestamps.

getClockTime :: IO ClockTime #

The current time.

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 # 
Eq CPUTime # 

Methods

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

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

Integral CPUTime # 
Num CPUTime # 
Ord CPUTime # 
Real CPUTime # 
Show CPUTime # 
Pretty CPUTime #

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

Methods

pretty :: CPUTime -> Doc #

prettyPrec :: Int -> CPUTime -> Doc #