Idris2Doc : Node.Timers.Immediate

Node.Timers.Immediate

(source)

Definitions

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