def hex

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha512/sha512.bend:29

import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/sha512.bend as Sha512
import Base

29# Lowercase hex of a byte list.
30def hex(bytes: List<&2, U32>) -> String:
31  match bytes:
32    case Nil{}:
33      ""
34    case +b <> t:
35      SCon{hex_digit(U32.and(U32.shrn(b, 4n), 15)), SCon{hex_digit(U32.and(b, 15)), hex(t)}}

Uses (6)

Used by (0)

No other definition uses this definition.