Effectful.Timeout

Effect

data Timeout :: Effect

An effect for timing out computations.

Instances

type DispatchOf Timeout

Defined in Effectful.Timeout

type DispatchOf Timeout = 'Static 'WithSideEffects

data StaticRep Timeout

Defined in Effectful.Timeout

data StaticRep Timeout = Timeout

Handlers

runTimeout :: IOE :> es => Eff (Timeout ': es) a -> Eff es a

Run the Timeout effect.

Operations

timeout

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.