def hex.go

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

import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

import Base

631def hex.go(n: Nat, r: Array<U32> & U32, +i: U32, acc: String) -> String:
632  match n:
633    case 0n:
634      acc
635    case 1n+p:
636      (a, +v) = r
637      hex.go(p, peek(a, (i - 1 : U32)), (i - 1 : U32), SCon{nibble(U32.shrn(v, 4n)), SCon{nibble((v .&. 15 : U32)), acc}})

Uses (11)

Used by (1)

bend-kit-bytes@0.3.3.0/bytes:to_hex