File

teal-src/util/human/io.d.tl @ 12833:8cbb109ff7ec

net.http.server: Close file handle earlier Frees unneeded resources earlier, so they're not held on to while potentially sending the chunk trailer.
author Kim Alvefur <zash@zash.se>
date Sun, 08 Jan 2023 13:51:30 +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