Software /
code /
prosody
File
teal-src/util/queue.d.tl @ 12654:f3dbbc7655e6
usermanager: Handle local JIDs being passed to get/set_jid_role()
There is no reasonable fallback for set_jid_role() because users may have
multiple roles, so that's an error.
author | Matthew Wild <mwild1@gmail.com> |
---|---|
date | Mon, 01 Aug 2022 20:26:00 +0100 |
parent | 12622:ef59fb975d3e |
line wrap: on
line source
local record lib record queue<T> size : integer count : function (queue<T>) : integer enum push_errors "queue full" end push : function (queue<T>, T) : boolean, push_errors pop : function (queue<T>) : T peek : function (queue<T>) : T replace : function (queue<T>, T) : boolean, push_errors type iterator = function (T, integer) : integer, T items : function (queue<T>) : iterator, T, integer type consume_iter = function (queue<T>) : T consume : function (queue<T>) : consume_iter end new : function<T> (size:integer, allow_wrapping:boolean) : queue<T> end return lib;