Safe Haskell	None
Language	GHC2021

Polysemy.Time.Interpreter.Ghc

Description

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

Synopsis

type GhcTime = Time UTCTime Day
interpretTimeGhc :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor GhcTime r
interpretTimeGhcAt :: forall (r :: EffectRow). Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r
interpretTimeGhcConstant :: forall (r :: EffectRow). Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r
interpretTimeGhcConstantNow :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor GhcTime r

Documentation

type GhcTime = Time UTCTime Day Source #

Convenience alias for Time.

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

Interpret Time with the types from Time.

interpretTimeGhcAt :: forall (r :: EffectRow). 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 :: forall (r :: EffectRow). 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 :: forall (r :: EffectRow). 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.