IO.Time

Unambiguous times

data Time t

A type wrappers for timestamps that can be compared unambiguously

Instances

Unit Time

Bounded (Time t)

Ord t => Eq (Time t)

Ord t => Ord (Time t)

(Eq t, Show t) => Show (Time t)

Ord t => Semigroup (Time t)

The Time semigroup where ta + tb == max ta tb

Ord t => Monoid (Time t)

The Time monoid where zero == minBound

Ord t => Semiring (Time t)

The Time ring where (*) == min and one == maxBound

Ord t => Ring (Time t)

Ord t => Orderable (Time t)

module Data.TimeVal

timeVal :: Time t -> TimeVal t

A Time's pure value. Reduction to normal form may block.

freezed :: a

Time utilities

type Seconds = Double

timeIO :: IO a -> IO (Time Seconds)

Constructs a Time representing the time by which the argument terminates.

Warning: This function executes its argument, ignoring its value. Thus, it would be wise to use it on idempotent blocking actions, such as readMVar.

waitTill :: Seconds -> IO ()

currentTime :: IO Seconds

timeOrigin :: ([birthTime :: Seconds] => IO a) -> IO a

Conversion functions

ms :: Seconds -> Seconds

mus :: Seconds -> Seconds

ns :: Seconds -> Seconds

minutes :: Seconds -> Seconds

hours :: Seconds -> Seconds

days :: Seconds -> Seconds