~/jendhub

def string.go

bend-kit-property@0.4.0.0 · generate.bend:42

import bend-kit-property@0.4.0.0/generate.bend as Generate
import Base
import bend-kit-random@0.1.0.1/random.bend as Rand

42# n + 1 chars prepended to acc; cr holds the next char.
43def string.go(n: Nat, acc: String, cr: Char & Rand.Rng) -> String & Rand.Rng:
44  match n:
45    case 0n:
46      (c, r) = cr
47      (SCon{c, acc}, r)
48    case 1n+p:
49      (c, r) = cr
50      string.go(p, SCon{c, acc}, char(r))

Uses (7)

Used by (1)