Data.Effect.Concurrent.Timer

Documentation

data Timer a where

Constructors

Clock :: Timer DiffTime

Sleep :: DiffTime -> Timer ()

type LTimer = LiftIns Timer

pattern LSleep :: () => (a ~ (), ()) => DiffTime -> LiftIns Timer f a

pattern LClock :: () => (a ~ DiffTime, ()) => LiftIns Timer f a

sleep'' :: forall key f. SendInsBy key Timer f => DiffTime -> f ()

sleep' :: forall tag f. SendIns (Tag Timer tag) f => DiffTime -> f ()

sleep :: forall f. SendIns Timer f => DiffTime -> f ()

clock'' :: forall key f. SendInsBy key Timer f => f DiffTime

clock' :: forall tag f. SendIns (Tag Timer tag) f => f DiffTime

clock :: forall f. SendIns Timer f => f DiffTime

withElapsedTime :: (Timer <: m, Monad m) => (m DiffTime -> m a) -> m a

measureTime :: (Timer <: m, Monad m) => m a -> m (DiffTime, a)

sleepUntil :: (Timer <: m, Monad m) => DiffTime -> m (Maybe DiffTime)

runCyclic :: (Timer <: m, Monad m) => m DiffTime -> m () -> m a

runPeriodic :: (Timer <: m, Monad m) => DiffTime -> m () -> m a

periodicTimer :: forall m a. (Timer <: m, Yield () () <: m, Monad m) => DiffTime -> m a

cyclicTimer :: forall m a. (Timer <: m, Yield () DiffTime <: m, Monad m) => m a

data CyclicTimer a where

Constructors

Wait :: DiffTime -> CyclicTimer ()

type LCyclicTimer = LiftIns CyclicTimer

pattern LWait :: () => (a ~ (), ()) => DiffTime -> LiftIns CyclicTimer f a

wait'' :: forall key f. SendInsBy key CyclicTimer f => DiffTime -> f ()

wait' :: forall tag f. SendIns (Tag CyclicTimer tag) f => DiffTime -> f ()

wait :: forall f. SendIns CyclicTimer f => DiffTime -> f ()