effectful-2.5.0.0: An easy to use, performant extensible effects library.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Effectful.Timeout

Synopsis

Effect

data Timeout :: Effect Source #

An effect for timing out computations.

Instances

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 :: (HasCallStack, IOE :> es) => Eff (Timeout : es) a -> Eff es a Source #

Run the Timeout effect.

Operations

timeout Source #

Arguments

:: 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.