Polysemy.Conc.Effect.Gate

Documentation

data Gate :: Effect where

A single-use synchronization point that blocks all consumers who called gate until signal is called.

The constructors are exported from Polysemy.Conc.Gate.

Constructors

Signal :: Gate m ()

Gate :: Gate m ()

type Gates = Scoped_ Gate

Convenience alias for scoped Gate.

withGate :: Member (Scoped_ Gate) r => InterpreterFor Gate r

Run an action with a locally scoped Gate effect.

This avoids a dependency on Embed IO in application logic while still allowing the effect to be scoped.