Hets - the Heterogeneous Tool Set
Copyright(c) C. Maeder DFKI GmbH
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Common.Timing

Description

Utility functions that can't be found in the libraries but should be shared across Hets.

Documentation

newtype HetsTime Source #

Constructors

HetsTime EpochTime 

getHetsTime :: IO HetsTime Source #

measureWallTime :: IO a -> IO (a, TimeOfDay) Source #

diffHetsTime :: HetsTime -> HetsTime -> TimeOfDay Source #

timeOfDayToSeconds :: TimeOfDay -> Int Source #