def foldr

bend-lawful-stdlib@0.1.0.0 · src/vec.bend:52

import Base

52def foldr(~A: Data, ~B: Data, ~f: A -> B -> B, n: Nat, v: Vec(A, n), z: B) -> B:
53  match n:
54    case 0n:
55      z
56    case 1n+p:
57      (h, t) = v
58      f(h, foldr(~A, ~B, ~f, p, t, z))