Timestamps.
ModuleAgda-2.8.0.2Haskell2010
Agda.Utils.Time
Time-related utilities.
Synopsis
- type ClockTime
- value getClockTime
- value getCPUTime
- value measureTime
- newtype CPUTime
- value fromMilliseconds
- PackageAgda-2.8.0.2
- Exports6
- LanguageHaskell2010
- LicenceMIT
- SourceTime.hs
The current time.
Measure the time of a computation. Of course, does not work with exceptions.
Instances11Enum, Eq, Integral, Num, Ord, Real, …
Enum CPUTimeDefined in Agda-2.8.0.2 · Agda.Utils.TimeEq CPUTimeDefined in Agda-2.8.0.2 · Agda.Utils.TimeIntegral CPUTimeDefined in Agda-2.8.0.2 · Agda.Utils.TimeNum CPUTimeDefined in Agda-2.8.0.2 · Agda.Utils.TimeOrd CPUTimeDefined in Agda-2.8.0.2 · Agda.Utils.TimeReal CPUTimeDefined in Agda-2.8.0.2 · Agda.Utils.TimeShow CPUTimeDefined in Agda-2.8.0.2 · Agda.Utils.TimeNFData CPUTimeDefined in Agda-2.8.0.2 · Agda.Utils.TimeToJSON CPUTimeDefined in Agda-2.8.0.2 · Agda.Interaction.JSONTop · orphanPretty CPUTimeDefined in Agda-2.8.0.2 · Agda.Utils.TimePrint CPU time in milli (10^-3) seconds.
EncodeTCM CPUTimeDefined in Agda-2.8.0.2 · Agda.Interaction.JSONTop · orphan