tamarin-prover-utils-0.4.0.0: Utility library for the tamarin prover.

PortabilityGHC only
MaintainerSimon Meier <iridcode@gmail.com>
Safe HaskellSafe-Infered

System.Timing

Description

A simple module for timing IO action.

Synopsis

Documentation

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.