Safe Haskell	None
Language	Haskell2010

Effectful.Timeout

Contents

Synopsis

data Timeout (a :: Type -> Type) b
runTimeout :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (Timeout ': es) a -> Eff es a
timeout :: forall (es :: [Effect]) a. Timeout :> es => Int -> Eff es a -> Eff es (Maybe a)

Effect

An effect for timing out computations.

Instances details

type DispatchOf Timeout Source #
Instance details Defined in Effectful.Timeout type DispatchOf Timeout = 'Static 'WithSideEffects
data StaticRep Timeout Source #
Instance details Defined in Effectful.Timeout data StaticRep Timeout = Timeout

Handlers

runTimeout :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (Timeout ': es) a -> Eff es a Source #

Run the Timeout effect.

Arguments

:: forall (es :: [Effect]) a. Timeout :> es
=> Int	The timeout in microseconds (1/10^6 seconds).
-> Eff es a	The computation the timeout applies to.
-> Eff es (Maybe a)

Lifted timeout.