tamarin-prover-utils-0.8.5.0: Utility library for the tamarin prover.
A simple module for timing IO action.
timed :: IO a -> IO (a, NominalDiffTime)Source
Execute an IO action and return its result plus the time it took to execute it.
timed_ :: IO a -> IO NominalDiffTimeSource
Execute an IO action and return the time it took to execute it.
Produced by Haddock version 2.13.2