Polysemy.Conc.Interpreter.Lock

Lock interpreters, Internal

Documentation

interpretLockPermissive :: InterpreterFor Lock r

Interpret Lock by executing all actions unconditionally.

interpretLockReentrantEntered :: Members [Sync (), Resource, Race, Mask, Embed IO] r => ThreadId -> InterpreterFor Lock r

Subinterpreter for interpretLockReentrant that checks whether the current thread is equal to the lock-acquiring thread to allow reentry into the lock.

interpretLockReentrant :: Members [Resource, Race, Mask, Embed IO] r => InterpreterFor Lock r

Interpret Lock as a reentrant lock, allowing nested calls to lock unless called from a different thread (as in, async was called in a higher-order action passed to lock.)