Moduleeffectful-2.7.1.0GHC2021

Effectful.Timeout

Contents

Synopsis

Effect

datadata Timeout (a :: Type -> Type) b

An effect for timing out computations.

Instances2DispatchOf, StaticRep

type DispatchOf Timeout = 'Static 'WithSideEffectsDefined in effectful-2.7.1.0 · Effectful.Timeout
data StaticRep Timeout
- Timeout
Defined in effectful-2.7.1.0 · Effectful.Timeout

valuerunTimeout :: (HasCallStack, IOE :> es) => Eff (Timeout ': es) a -> Eff es a

Run the Timeout effect.

valuetimeout

Lifted timeout.