File

teal-src/util/human/io.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
parent 12613:a27870dcaf24
line wrap: on
line source

local record lib
	getchar : function (n : integer) : string
	getline : function () : string
	getpass : function () : string
	show_yesno : function (prompt : string) : boolean
	read_password : function () : string
	show_prompt : function (prompt : string) : boolean
	printf : function (fmt : string, ... : any)
	padleft : function (s : string, width : integer) : string
	padright : function (s : string, width : integer) : string

	-- {K:V} vs T ?
	record tablerow<K,V>
		width : integer | string -- generate an 1..100 % enum?
		title : string
		mapper : function (V, {K:V}) : string
		key : K
		enum alignments
			"left"
			"right"
		end
		align : alignments
	end
	type getrow = function<K,V> ({ K : V }) : string
	table : function<K,V> ({ tablerow<K,V> }, width : integer) : getrow<K,V>
end

return lib