Polysemy.Conc.Effect.Semaphore

Semaphore effect, Internal.

Documentation

data Semaphore :: Effect where

This effect abstracts over the concept of a quantity semaphore, a concurrency primitive that contains a number of slots that can be acquired and released.

Constructors

Wait :: Semaphore m ()

Wait until a slot is available, then acquire it.

Signal :: Semaphore m ()

Release a slot.

Instances

type DefiningModule Semaphore

Defined in Polysemy.Conc.Effect.Semaphore

type DefiningModule Semaphore = "Polysemy.Conc.Effect.Semaphore"

wait :: forall r. Member Semaphore r => Sem r ()

Wait until a slot is available, then acquire it.

signal :: forall r. Member Semaphore r => Sem r ()

Release a slot.