def u64_from_bytes_le

bend-collections-laws-math@1.0.0.0 · src/math/fixed.bend:410

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

410def u64_from_bytes_le(bs: List<&2, U32>) -> Maybe<&2, W.U64>:
411  match bs:
412    case [+b0, +b1, +b2, +b3, +b4, +b5, +b6, +b7]:
413      dig64(dig64(dig64(dig64(dig64(dig64(dig64(dig64(Some{W.U64{0, 0}}, is_byte(b7), b7), is_byte(b6), b6), is_byte(b5), b5), is_byte(b4), b4), is_byte(b3), b3), is_byte(b2), b2), is_byte(b1), b1), is_byte(b0), b0)
414    case _:
415      None{}