effectful-2.0.0.0: An easy to use, performant extensible effects library.
Safe HaskellNone
LanguageHaskell2010

Effectful.Timeout

Synopsis

Effect

data Timeout :: Effect Source #

An effect for timing out computations.

Instances

Instances details
data StaticRep Timeout Source # 
Instance details

Defined in Effectful.Timeout

data StaticRep Timeout = Timeout
type DispatchOf Timeout Source # 
Instance details

Defined in Effectful.Timeout

type DispatchOf Timeout = 'Static 'WithSideEffects

Handlers

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