def u64_from_bytes_be

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

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

417def u64_from_bytes_be(bs: List<&2, U32>) -> Maybe<&2, W.U64>:
418  match bs:
419    case [+b7, +b6, +b5, +b4, +b3, +b2, +b1, +b0]:
420      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)
421    case _:
422      None{}