# HG changeset patch # User Kim Alvefur # Date 1636553523 -3600 # Node ID a27870dcaf242521b64b010a094e0270820e4249 # Parent 588b1d1758387ed186b10ea2605fea5a5199b915 util.human.io: Add Teal interface definition diff -r 588b1d175838 -r a27870dcaf24 teal-src/util/human/io.d.tl --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/teal-src/util/human/io.d.tl Wed Nov 10 15:12:03 2021 +0100 @@ -0,0 +1,28 @@ +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 + 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 }) : string + table : function ({ tablerow }, width : integer) : getrow +end + +return lib