teal-src/util/timer.d.tl
author Matthew Wild <mwild1@gmail.com>
Fri, 02 Dec 2022 20:32:36 +0000
changeset 12799 87424cbedc55
parent 12628 7eca6c919d5e
permissions -rw-r--r--
util.hashring: Support associating arbitrary data with nodes In this API, a 'node' is always a simple text string. Sometimes the caller may have a more complex structure representing a node, but the hash ring is really only concerned with the node's name. This API change allows :add_nodes() to take a table of `node_name = value` pairs, as well as the simple array of node names previously accepted. The 'value' of the selected node is returned as a new second result from :get_node(). If no value is passed when a node is added, it defaults to `true` (as before, but this was never previously exposed).
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
12628
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