lio-0.9.1.1: Labeled IO Information Flow Control Library

Safe HaskellTrustworthy

LIO.Data.Time

Description

This module re-exports Data.Time wrapped in LIO.

WARNING: The time functions can be used to carry out external-timing attacks with less effort than using threads and synchronization. It is therefore advised that computations that operate on sensitive data take the same amount of time regardless of the input.

Synopsis

Documentation

module Data.Time

getCurrentTime :: MonadLIO l m => m UTCTimeSource

Get the current UTC time from the system clock.

getZonedTime :: MonadLIO l m => m ZonedTimeSource

Get the local time together with a TimeZone.

utcToLocalZonedTime :: MonadLIO l m => UTCTime -> m ZonedTimeSource

Convert UTC time to local time with TimeZone.