Software /
code /
prosody
Annotate
teal-src/util/timer.d.tl @ 12851:ffa75a9ce907
Merge 0.12->trunk
author | Kim Alvefur <zash@zash.se> |
---|---|
date | Thu, 19 Jan 2023 21:14:31 +0100 |
parent | 12624:7eca6c919d5e |
rev | line source |
---|---|
12624
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
1 local record util_timer |
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
2 record task end |
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
3 type timer_callback = function (number) : number |
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
4 add_task : function ( number, timer_callback, any ) : task |
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
5 stop : function ( task ) |
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
6 reschedule : function ( task, number ) : task |
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
7 end |
7eca6c919d5e
util.timer: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
8 return util_timer |