LIO.Data.Time

This module re-exports Data.Time wrapped in LIO. It is important to note that this module is only safe with the latest version of LIO, where toLabeled has been removed and timing attacked have been addressed. In similar vain, when executing a piece of code that you do not trust, it is important that the time primitives not be directly available.

Documentation

module Data.Time

getCurrentTime :: LabelState l p s => LIO l p s UTCTime

Get the current UTC time from the system clock.

getZonedTime :: LabelState l p s => LIO l p s ZonedTime

Get the local time together with a TimeZone.

utcToLocalZonedTime :: LabelState l p s => UTCTime -> LIO l p s ZonedTime

Convert UTC time to local time with TimzeZone