def bytes.repeat

gralha-bytes@0.1.0.1 · bytes.bend:205

import gralha-bytes@0.1.0.1/bytes.bend as Bytes

import Base

205def bytes.repeat(n: Nat, +v: U32, out: Bytes) -> Bytes:
206  match n:
207    case 0n: out
208    case 1n+d: bytes.repeat(d, v, bytes.push(out, v))

Uses (4)

Used by (2)