def money.group

cswap-bend-cli@0.1.0.0 · render.bend:50

import cswap-bend-cli@0.1.0.0/render.bend as Render

import Base

50def money.group(r: String, +n: Nat, acc: String) -> String:
51  match r:
52    case SNil{}:
53      acc
54    case SCon{+c, +t}:
55      money.group(t, 1n+n, money.put(Nat.is_gt(n, 0n) && Nat.is_eq(Nat.mod(n, 3n), 0n), c, acc))

Uses (7)

Used by (1)

cswap-bend-cli@0.1.0.0/render:money.commas