tty.bend source

tty.bend on the hub · documented module

# Terminal detection, dimensions, ANSI color and Unicode display-width text. Source: https://github.com/paymog/bend-kit/tree/main/ttyimport Baseimport ./text.bend as Text# Standard output is a terminal.def stdout_tty() -> IO(Bool):  import "./effs/tty.c"  import "./effs/tty.js"# Terminal columns and rows; None when stdout is not a terminal or its size is unavailable.def size() -> IO(Maybe<&1, U32 & U32>):  import "./effs/tty.c"  import "./effs/tty.js"# Automatic styling is enabled only for a terminal without NO_COLOR.def color_enabled() -> IO(Bool):  import "./effs/tty.c"  import "./effs/tty.js"# Apply one numeric ANSI SGR code and reset it, or leave the text unchanged.def style(enabled: Bool, code: U32, text: String) -> String:  Text.style(enabled, code, text)def auto_style(code: U32, text: String) -> IO(String):  do IO<String>:    enabled : Bool <- color_enabled()    return style(enabled, code, text)# Display columns for Unicode text. Control characters are not terminal cursor movements.def width(text: String) -> U32:  Text.width(text)# Append spaces until text occupies at least cols display columns.def pad_right(text: String, cols: U32) -> String:  Text.pad_right(text, cols)