Idris2Doc : System.UV.Idle

System.UV.Idle

(source)

Definitions

mkIdle : UVLoop => Has UVError es => Async es (Ptr Idle)
Totality: total
Visibility: export
onIdle : UVLoop => Has UVError es => (Event Nat -> Async es a) -> Async es a
  Runs the given `IO` action during the "idle" phase of the event loop.

Totality: total
Visibility: export