polysemy-time-0.5.0.0: Polysemy effects for time
Safe HaskellSafe-Inferred
LanguageHaskell2010

Polysemy.Time.Interpreter.Ghc

Description

Time interpreters for the data types from Data.Time, Internal

Synopsis

Documentation

type GhcTime = Time UTCTime Day Source #

Convenience alias for Time.

interpretTimeGhc :: Member (Embed IO) r => InterpreterFor GhcTime r Source #

Interpret Time with the types from Time.

interpretTimeGhcAt :: Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r Source #

Interpret Time with the types from Time, customizing the current time at the start of interpretation.

interpretTimeGhcConstant :: Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r Source #

Interpret Time with the types from Time, customizing the current time to be constant. Sleeping will only terminate after the time has been advanced by adjust.

interpretTimeGhcConstantNow :: Member (Embed IO) r => InterpreterFor GhcTime r Source #

Interpret Time with the types from Time, customizing the current time to be constantly the time at the start of interpretation. Sleeping will only terminate after the time has been advanced by adjust.