Idris2Doc : Evince.Async.Synchronized

Evince.Async.Synchronized

(source)
Reexports
import public Evince.Synchronized
Definitions
asyncWithLock : IORef Bool -> Async e [] a -> Async e [] a
  Run an action with the lock held, serializing concurrent `Async` fibers
  (across worker threads) via the atomic CAS spinlock.

  Totality: total
  Visibility: export