Idris2Doc : IO.Async.JS

IO.Async.JS

(source)
Reexports
import public JS.Util
import public JS.Promise
import public IO.Async
import public IO.Async.Logging
import public IO.Async.Loop
import public IO.Async.Loop.TimerH
Definitions
record JS : Type
  Totality: total
  Visibility: export
  Constructor: 
J : IORef Bool -> IORef (SnocList Task) -> JS

  Projections:
  
.queue : JS -> IORef (SnocList Task)
  Work queue of this worker
  
.running : JS -> IORef Bool
  Reference indicating whether the queue is currently
  being processed

  Hints:
  
EventLoop JS
  
TimerH JS
app : Async JS [] () -> IO ()
  Visibility: export
promise : Has JSErr es => Promise a -> Async JS es a
  Converts a JavaScript `Promise` to an `Async` by registering
  proper `resolve` and `reject` handlers.

  Totality: total
  Visibility: export
jsunerr : Loggable JS JSErr => t -> Async JS [JSErr] t -> Async JS [] t
  Totality: total
  Visibility: export
jsunerrMaybe : Loggable JS JSErr => Async JS [JSErr] t -> Async JS [] (Maybe t)
  Totality: total
  Visibility: export
jslogErrs : Loggable JS JSErr => Async JS [JSErr] () -> Async JS [] ()
  Totality: total
  Visibility: export