Idris2Doc : System.UV.Idle

System.UV.Idle

(source)

Definitions

mkIdle : UVLoop=>HasUVErrores=>Asynces (PtrIdle)
Totality: total
Visibility: export
onIdle : UVLoop=>HasUVErrores=> (EventNat->Asyncesa) ->Asyncesa
  Runs the given `IO` action during the "idle" phase of the event loop.

Totality: total
Visibility: export