Control.Monad.Freer.Time

Documentation

currentTime :: Member Time r => Eff r UTCTime

Get the current time

data Time a

The Time effect gives an interface to accessing the current time

runTime :: Member IO r => Eff (Time ': r) a -> Eff r a

Use IO to handle getting the current time

runTimeAt :: UTCTime -> Eff (Time ': r) a -> Eff r a

Use a given time that the program will consider "current"

runInstantaneously :: Member IO r => Eff (Time ': r) a -> Eff r a

Use IO get the current time, but make the program think that everything is happening at the same instant. All calls to currentTime will return the same, present-ish UTCTime