Polysemy.Time.At

Interceptors for fixing a specific time, Internal

Documentation

dateCurrentRelative :: forall diff t d (r :: EffectRow). (Torsor t diff, Members '[Time t d, AtomicState (t, t) :: (Type -> Type) -> Type -> Type] r) => Sem r t

Determine the current time adjusted for the difference between a custom instant and the time at which the program was started.

interceptTimeAtWithStart :: forall diff t d (r :: EffectRow) a. (Torsor t diff, TimeUnit diff, HasDate t d, Members '[Time t d, AtomicState (t, t) :: (Type -> Type) -> Type -> Type] r) => Sem r a -> Sem r a

Given real and adjusted start time, change all calls to Now and Today to be relative to that start time. This needs to be interpreted with a vanilla interpreter for Time once more.

interceptTimeAt :: forall diff t d (r :: EffectRow) a. (TimeUnit diff, Torsor t diff, HasDate t d, Members '[Time t d, Embed IO] r) => t -> Sem r a -> Sem r a

Interpret Time so that the time when the program starts is startAt.

interceptTimeConstantState :: forall t d diff (r :: EffectRow) a. (Ord diff, HasDate t d, TimeUnit diff, Torsor t diff, Members '[Time t d, AtomicState t :: (Type -> Type) -> Type -> Type] r) => Sem r a -> Sem r a

Change all calls to Now and Today to return the given start time. This needs to be interpreted with a vanilla interpreter for Time once more.

interceptTimeConstant :: forall t d diff (r :: EffectRow) a. (Ord diff, HasDate t d, TimeUnit diff, Torsor t diff, Members '[Time t d, Embed IO] r) => t -> Sem r a -> Sem r a

Interpret Time so that the time is always startAt.

The time can still be changed with setTime, adjust and setDate. Sleeping will only terminate after the time has been advanced by adjust.

interceptTimeConstantNow :: forall t d diff (r :: EffectRow) a. (Ord diff, HasDate t d, TimeUnit diff, Torsor t diff, Members '[Time t d, Embed IO] r) => Sem r a -> Sem r a

Interpret Time so that the time is always the time at the start of interpretation.

The time can still be changed with setTime, adjust and setDate. Sleeping will only terminate after the time has been advanced by adjust.