def take.n

emerging-eztoml@0.9.0.0 · main.bend:504

import Base

504# exactly k digits from the front of a list
505def take.n(kk: Nat, cs: List<&2, Char>, nn: U32, +ok: Bool) -> Dig:
506  match kk:
507    case 0n:
508      take.fin(ok, nn, cs)
509    case 1n+p:
510      match cs:
511        case []:
512          DigBad{}
513        case +h <> t:
514          take.n(p, t, take.acc(ok, nn, h), take.ok(ok, h))