Idris2Doc : Node.Timers.Timeout

Node.Timers.Timeout

(source)

Definitions

data Timeout : Type
Totality: total
Visibility: export
.hasRef : Timeout -> Bool
.ref : HasIO io => Timeout -> io Timeout
Visibility: export
.unref : HasIO io => Timeout -> io Timeout
Visibility: export
.refresh : HasIO io => Timeout -> io Timeout
Visibility: export