Idris2Doc : IO.Async.Loop.Sync

IO.Async.Loop.Sync

(source)
Reexports
import public IO.Async.Loop
Definitions
record SyncST : Type
  State of a synchronous event loop with timers

  Totality: total
  Visibility: export
  Constructor: 
SST : Timer -> IORef (SnocList (FbrState SyncST)) -> IORef Bool -> SyncST

  Projections:
  
.queue : SyncST -> IORef (SnocList (FbrState SyncST))
  
.running : SyncST -> IORef Bool
  
.timer : SyncST -> Timer

  Hints:
  
EventLoop SyncST
  
TimerH SyncST
sync : IO SyncST
  A synchronous event loop running all asynchronous computations
  on the calling thread.
  
  This will block the calling thread after submitting a work package until
  the package has been completed.

  Visibility: export