~/jendhub

def rows_go

mlbend-datasets@0.1.6.0 · main.bend:168

import mlbend-datasets@0.1.6.0/main.bend as MlbendDatasets
import Base

168# The rows of a file, one line at a time.
169def rows_go(lines: List<&2, String>, +drop: Nat, +acc: Rows) -> Rows:
170  match lines:
171    case Nil{}:
172      acc
173    case Con{h, t}:
174      rows_go(t, drop, add_row_of(acc, row_of(h, drop)))

Uses (6)

Used by (1)