AlphaGitHub
Source/Packages

Data.Bytes

packages/foundation/standard/src/Data/Bytes.alpha

1,462 lines172 declarations57.0 KiBSHA-256 55edb6a9adcd
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1081–1106

dataBytesWord64BE

Full file
1081def dataBytesWord64BE =
1082  (lambda unrestricted value : (family ModelWord64) .
1083    (eliminate
1084      ModelWord64
1085      (lambda unrestricted current : (family ModelWord64) . Bytes)
1086      value
1087      (branch
1088        ModelWord64Value
1089        b0
1090        b1
1091        b2
1092        b3
1093        b4
1094        b5
1095        b6
1096        b7
1097        .
1098        (bytes-cons
1099          b7
1100          (bytes-cons
1101            b6
1102            (bytes-cons
1103              b5
1104              (bytes-cons
1105                b4
1106                (bytes-cons b3 (bytes-cons b2 (bytes-cons b1 (bytes-cons b0 b"")))))))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.