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

Safe HaskellNone
LanguageHaskell98

Agda.Utils.Time

Description

Time-related utilities.

Synopsis

Documentation

type ClockTime = UTCTime Source

Timestamps.

getClockTime :: IO ClockTime Source

The current time.

measureTime :: MonadIO m => m a -> m (a, CPUTime) Source

Measure the time of a computation. Returns the

newtype CPUTime Source

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

Constructors

CPUTime Integer 

Instances

Enum CPUTime 
Eq CPUTime 
Integral CPUTime 
Num CPUTime 
Ord CPUTime 
Real CPUTime 
Show CPUTime 
Pretty CPUTime

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