Idris2Doc : Node.Timers.Static

Node.Timers.Static

(source)

Definitions

setImmediate : HasIO io => IO () -> io Immediate
Visibility: export
setInterval : HasIO io => IO () -> Int -> io Timeout
Visibility: export
setTimeout : HasIO io => IO () -> Int -> io Timeout
Visibility: export
clearImmediate : HasIO io => Immediate -> io ()
Visibility: export
clearInterval : HasIO io => Timeout -> io ()
Visibility: export
clearTimeout : HasIO io => Timeout -> io ()
Visibility: export