Control.Monad.Hefty.Concurrent.Timer

Documentation

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)