Safe Haskell | None |
---|

- data Time t
- module Data.TimeVal
- timeVal :: Time t -> TimeVal t
- freezed :: a
- type Seconds = Double
- timeIO :: IO a -> IO (Time Seconds)
- waitTill :: Seconds -> IO ()
- currentTime :: IO Seconds
- timeOrigin :: ([birthTime :: Seconds] => IO a) -> IO a
- ms :: Seconds -> Seconds
- mus :: Seconds -> Seconds
- ns :: Seconds -> Seconds
- minutes :: Seconds -> Seconds
- hours :: Seconds -> Seconds
- days :: Seconds -> Seconds

# Unambiguous times

A type wrappers for timestamps that can be compared unambiguously

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 |

Ord t => Monoid (Time t) | The Time monoid where |

Ord t => Semiring (Time t) | The Time ring where |

Ord t => Ring (Time t) | |

Ord t => Orderable (Time t) |

module Data.TimeVal

# Time utilities

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

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`

.

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