lio- Labeled IO Information Flow Control Library

Safe HaskellTrustworthy



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.



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.