Data.Effect.Concurrent.Timer

Documentation

data Timer a where

Constructors

Clock :: Timer DiffTime

Sleep :: DiffTime -> Timer ()

type LTimer = LiftFOE Timer

pattern LSleep :: forall a f. () => (a ~ (), ()) => DiffTime -> LiftFOE Timer f a

pattern LClock :: forall a f. () => (a ~ DiffTime, ()) => LiftFOE Timer f a

clock :: SendFOE Timer f => f DiffTime

clock' :: forall {k} (tag :: k) f. SendFOE (Tag Timer tag) f => f DiffTime

clock'' :: forall {k} (key :: k) f. SendFOEBy key Timer f => f DiffTime

sleep :: SendFOE Timer f => DiffTime -> f ()

sleep' :: forall {k} (tag :: k) f. SendFOE (Tag Timer tag) f => DiffTime -> f ()

sleep'' :: forall {k} (key :: k) f. SendFOEBy key Timer f => DiffTime -> f ()

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 :: (Timer <: m, Yield () () <: m, Monad m) => DiffTime -> m a

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

data CyclicTimer a where

Constructors

Wait :: DiffTime -> CyclicTimer ()

type LCyclicTimer = LiftFOE CyclicTimer

pattern LWait :: forall a f. () => (a ~ (), ()) => DiffTime -> LiftFOE CyclicTimer f a

wait :: SendFOE CyclicTimer f => DiffTime -> f ()

wait' :: forall {k} (tag :: k) f. SendFOE (Tag CyclicTimer tag) f => DiffTime -> f ()

wait'' :: forall {k} (key :: k) f. SendFOEBy key CyclicTimer f => DiffTime -> f ()