TermColor.Layout.Width: terminal display width

Width is measured from visible characters, never from rendered ANSI escapes. The policy is deterministic: controls and combining marks occupy zero columns, common CJK and emoji ranges occupy two columns, and ambiguous characters occupy one.

def TermColor.Layout.charWidth (character : Char) : Nat

Display width of one character in a terminal cell grid.

Equations

• One or more equations did not get rendered due to their size.

def TermColor.Layout.stringWidth (text : String) : Nat

Maximum display width of the lines in a string.

Equations

• One or more equations did not get rendered due to their size.

def TermColor.Layout.expandTabs (tabWidth : Nat) (text : String) : String

Expand tabs to the next tab stop. A zero tab width is treated as one.

Equations

• TermColor.Layout.expandTabs tabWidth text = TermColor.Layout.expandTabs.go (max 1 tabWidth) 0 text.toList

def TermColor.Layout.expandTabs.go (tabWidth column : Nat) : List Char → String

Equations

• One or more equations did not get rendered due to their size.
• TermColor.Layout.expandTabs.go tabWidth column [] = ""

def TermColor.Layout.stringWidthWithTabs (tabWidth : Nat) (text : String) : Nat

Display width after expanding tabs to the supplied tab stops.

Equations

• TermColor.Layout.stringWidthWithTabs tabWidth text = TermColor.Layout.stringWidth (TermColor.Layout.expandTabs tabWidth text)

def TermColor.Text.width (text : Text) : Nat

Maximum visible width of a styled text value, ignoring ANSI styling.

Equations

• text.width = TermColor.Layout.stringWidth text.plainText

def TermColor.Text.height (text : Text) : Nat

Number of logical lines in a styled text value.

Equations

• text.height = (text.plainText.splitOn "\n").length