Polysemy.Conc.Effect.Gate
Description
data Gate :: Effect where Source #
A single-use synchronization point that blocks all consumers who called gate until signal is called.
gate
signal
The constructors are exported from Polysemy.Conc.Gate.
Constructors
type Gates = Scoped_ Gate Source #
Convenience alias for scoped Gate.
Gate
withGate :: Member (Scoped_ Gate) r => InterpreterFor Gate r Source #
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.
Embed IO
Embed
IO