annotate teal-src/util/queue.d.tl @ 12658:7ca5645f46cd

usermanager: Remove concept of global authz provider Rationale: - Removes a bunch of code! - We don't have many cases where an actor is not bound to one of our hosts - A notable exception is the admin shell, but if we ever attempt to lock those sessions down, there is a load of other work that also has to be done. And it's not clear if we would need a global authz provider for that anyway. - Removes an extra edge case from the necessary mental model for operators - Sessions that aren't bound to a host generally are anonymous or have an alternative auth model (such as by IP addres). - With the encapsulation now provided by util.roles, ad-hoc "detached roles" can still be created anyway by code that needs them.
author Matthew Wild <mwild1@gmail.com>
date Fri, 12 Aug 2022 16:21:57 +0100
parents ef59fb975d3e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
12622
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
1 local record lib
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
2 record queue<T>
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
3 size : integer
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
4 count : function (queue<T>) : integer
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
5 enum push_errors
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
6 "queue full"
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
7 end
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
8
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
9 push : function (queue<T>, T) : boolean, push_errors
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
10 pop : function (queue<T>) : T
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
11 peek : function (queue<T>) : T
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
12 replace : function (queue<T>, T) : boolean, push_errors
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
13 type iterator = function (T, integer) : integer, T
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
14 items : function (queue<T>) : iterator, T, integer
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
15 type consume_iter = function (queue<T>) : T
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
16 consume : function (queue<T>) : consume_iter
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
17 end
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
18
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
19 new : function<T> (size:integer, allow_wrapping:boolean) : queue<T>
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
20 end
ef59fb975d3e util.queue: Add Teal interface description
Kim Alvefur <zash@zash.se>
parents:
diff changeset
21 return lib;