def cell_width

cli@0.2.0.0 · cli.bend:5505

import cli@0.2.0.0/cli.bend as Cli

import Base

5505def cell_width(cell: List<&2, Segment>) -> Nat:
5506  match cell:
5507    case Nil{}: 0n
5508    case Segment{text, styles} <> tail: Nat.add(width(text), cell_width(tail))

Uses (5)

Used by (2)