def row_plan

stelliferous@0.0.2.0 · tensor_band.bend:375

import Base

375def row_plan(depth: Nat,split: Bool,+first: U32,+rows: U32) -> Plan:
376  match depth split:
377    case 0n split: Rows{first,rows}
378    case 1n+rest False{}: Rows{first,rows}
379    case 1n+ +rest True{}:
380      +half = (rows / 2 : U32)
381      Split{row_plan(rest,U32.is_lt(1,half),first,half),
382        row_plan(rest,U32.is_lt(1,(rows - half : U32)),(first + half : U32),(rows - half : U32))}