0 | module Node.Timers.Timeout
 1 |
 2 | import Node.Internal.Support
 3 |
 4 | export
 5 | data Timeout : Type where [external]
 6 |
 7 | export
 8 | %foreign "node:lambda: (t) => t.hasRef() ? _true() : _false()"
 9 | (.hasRef) : Timeout -> Bool
10 |
11 | %foreign "node:lambda: (t) => t.ref()"
12 | ffi_ref : Timeout -> PrimIO Timeout
13 |
14 | export
15 | (.ref) : HasIO io => Timeout -> io Timeout
16 | (.ref) timeout = primIO $ ffi_ref timeout
17 |
18 |
19 | %foreign "node:lambda: (t) => t.unref()"
20 | ffi_unref : Timeout -> PrimIO Timeout
21 |
22 | export
23 | (.unref) : HasIO io => Timeout -> io Timeout
24 | (.unref) timeout = primIO $ ffi_unref timeout
25 |
26 | %foreign "node:lambda: (t) => t.refresh()"
27 | ffi_refresh : Timeout -> PrimIO Timeout
28 |
29 | export
30 | (.refresh) : HasIO io => Timeout -> io Timeout
31 | (.refresh) timeout = primIO $ ffi_refresh timeout
32 |
33 |