def put.go

bend-kit-bytes@0.3.3.0 · bytes.bend:203

import Base

203# n bytes of v from j, least significant first.
204def put.go(n: Nat, a: Array<U32>, +j: U32, +up: Bool, +v: U32) -> Array<U32>:
205  match n:
206    case 0n:
207      a
208    case 1n+p:
209      put.go(p, poke(a, j, v), step(up, j), up, U32.shrn(v, 8n))