Control.Monad.Hefty.Concurrent.Timer

Description

Interpreters for the Timer effects.

Synopsis

runTimerIO :: forall (eh :: [EffectH]) (ef :: [EffectF]). IO <| ef => (eh :!! (Timer ': ef)) ~> (eh :!! ef)
runCyclicTimer :: forall (ef :: [EffectF]). Timer <| ef => (('[] :: [EffectH]) :!! (CyclicTimer ': ef)) ~> (('[] :: [EffectH]) :!! ef)
restartClock :: forall (ef :: [EffectF]) (eh :: [EffectH]). Timer <| ef => (eh :!! ef) ~> (eh :!! ef)
module Data.Effect.Concurrent.Timer

Documentation

runTimerIO :: forall (eh :: [EffectH]) (ef :: [EffectF]). IO <| ef => (eh :!! (Timer ': ef)) ~> (eh :!! ef) Source #

runCyclicTimer :: forall (ef :: [EffectF]). Timer <| ef => (('[] :: [EffectH]) :!! (CyclicTimer ': ef)) ~> (('[] :: [EffectH]) :!! ef) Source #

restartClock :: forall (ef :: [EffectF]) (eh :: [EffectH]). Timer <| ef => (eh :!! ef) ~> (eh :!! ef) Source #

Re-zeros the clock time in the local scope.