Idris2Doc : IO.Async.Internal.Ref

IO.Async.Internal.Ref

(source)
Mutable references exposed in `PrimIO`. This includes the ability
to mutate via a CAS-loop to avoid locking with a mutex in certain
occasions.

Reexports

import public IO.Async.Loop

Definitions

once : IORef Bool -> IO1 () -> IO1 ()
  Guaranteed to run the given cleanup function exactly once:
  The boolean flag is atomically read and set to false before running the
  cleanup hook, and `act` is only run if the flag has been `True`.

Totality: total
Visibility: export