Layout

:= []

Helpers for rendering bordered terminal grids and tables.

squared_border : LineFill(LineFill(Str))

rounded_border : LineFill(LineFill(Str))

pretty_border : LineFill(LineFill(Str))

default_row_spacing : RowSpacing

default_spacing : GridSpacing

data_to_rows : List(a), (U64, U64) -> Try(List(List(a)), [OutOfBounds])

Convert a flat list into row-major cells.

data_to_columns : List(a), (U64, U64) -> Try(List(List(a)), [OutOfBounds])

Convert a flat list into column-major cells.

trunc_or_pad : Str, Str -> Str, U64 -> Str

Truncate or right-pad a string to exactly size bytes.

draw_row : List(Str), List(U64), LineFill(Str), RowSpacing -> Str

Draw one bordered row. mx is left/right margin and px is left/right padding.

auto_sizes : List(List(Str)) -> List(U64)

Estimate column sizes from rows, replacing length outliers with the mean.

draw_grid : List(List(Str)), List(U64), LineFill(LineFill(Str)), GridSpacing -> Str

Draw a grid with explicit border, margin, and padding settings.

draw_table : List(List(Str)), List(U64), LineFill(LineFill(Str)) -> Str

Draw a table with a header separator after the first row.

LineFill : { start : a, base : a, sep : a, end : a }

RowSpacing : { mx : (U64, U64), px : (U64, U64) }

GridSpacing : { mx : (U64, U64), my : (U64, U64), px : (U64, U64), py : (U64, U64) }