def le_bytes

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/random.bend:37

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

37# Go's binary.LittleEndian.PutUint64
38def le_bytes(x: W.U64) -> List<&2, U32>:
39  match x:
40    case W.U64{+l, +h}:
41      [byte_of(l, 0n), byte_of(l, 8n), byte_of(l, 16n), byte_of(l, 24n), byte_of(h, 0n), byte_of(h, 8n), byte_of(h, 16n), byte_of(h, 24n)]