Safe Haskell | None |
---|---|
Language | Haskell98 |
Agda.Utils.Time
Description
Time-related utilities.
Documentation
The current time.
measureTime :: MonadIO m => m a -> m (a, CPUTime)
Measure the time of a computation. Returns the
Agda-2.4.2.3: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|---|
Language | Haskell98 |
Agda.Utils.Time
Description
Time-related utilities.
The current time.
measureTime :: MonadIO m => m a -> m (a, CPUTime)
Measure the time of a computation. Returns the