sleep sleep package:data-effects

sleep :: forall f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Free c ff, f ~ Eff ff es, Timer :> es) => DiffTime -> f ()

data-effects Data.Effect.Concurrent.Timer

Temporarily suspends computation for the specified duration.

Sleep :: forall (a :: Type -> Type) . DiffTime -> Timer a ()

data-effects Data.Effect.Concurrent.Timer

Temporarily suspends computation for the specified duration.

sleep'_ :: forall f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Free c ff, f ~ Eff ff es, In Timer es) => DiffTime -> f ()

data-effects Data.Effect.Concurrent.Timer

Temporarily suspends computation for the specified duration.

sleepUntil :: forall (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Timer :> es, Monad (Eff ff es), Free c ff) => DiffTime -> Eff ff es (Maybe DiffTime)

data-effects Data.Effect.Concurrent.Timer

Temporarily suspends computation until the relative time from the fixed reference point in the current scope's context, as given by the argument. If the specified resume time has already passed, returns the elapsed time (positive value) in Just.