Idris2Doc : Node.Timers.Timeout

Node.Timers.Timeout

(source)

Definitions

dataTimeout : Type
Totality: total
Visibility: export
.hasRef : Timeout->Bool
.ref : HasIOio=>Timeout->ioTimeout
Visibility: export
.unref : HasIOio=>Timeout->ioTimeout
Visibility: export
.refresh : HasIOio=>Timeout->ioTimeout
Visibility: export