~/jendhub

def rows_lines

cli@0.2.0.0 · cli.bend:5566

import cli@0.2.0.0/cli.bend as Cli
import Base

5566def rows_lines(rows: List<&2, Row>, +shorted: Bool, +w: Nat, +k: Nat,
5567    +c: Nat) -> List<&2, Segment>:
5568  match rows:
5569    case Nil{}: Nil{}
5570    case row <> tail:
5571      plain("\n") <> List.append(&2, Segment, row_lines(row, shorted, w, k, c),
5572        rows_lines(tail, shorted, w, k, c))

Uses (8)

Used by (1)