~/jendhub

def ar.list.go

bend-kit-regex@0.8.0.0 · regex.bend:1870

import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base

1870def ar.list.go(fuel: Nat, r: Array<Th> & Th, +i: U32, acc: List<&2, Th>) -> Array<Th> & List<&2, Th>:
1871  match fuel:
1872    case 0n:
1873      (a, th) = r
1874      (a, acc)
1875    case 1n+f:
1876      (a, th) = r
1877      ar.list.go(f, Array.get(Th, a, (i - 1 : U32)), (i - 1 : U32), th <> acc)

Uses (9)

Used by (1)