File

teal-src/util/human/io.d.tl @ 12827:0605d4f03e25

net.server_epoll: Factor out single main loop step into its own function This isn't actually used in Prosody, so no value in complicating the real main loop because of it
author Kim Alvefur <zash@zash.se>
date Fri, 06 Jan 2023 02:31:21 +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