Control.Effect.Interpreter.Heftia.Concurrent.Timer

Documentation

runTimerIO :: forall eh ef. (IO <| ef, ForallHFunctor eh) => (eh :!! (LTimer ': ef)) ~> (eh :!! ef)

runCyclicTimer :: forall ef. Timer <| ef => ('[] :!! (LCyclicTimer ': ef)) ~> ('[] :!! ef)

restartClock :: (Timer <| ef, ForallHFunctor eh) => (eh :!! ef) ~> (eh :!! ef)