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 1358–1376

dataBytesRenderHexBuilder

Full file
1358def dataBytesRenderHexBuilder =
1359  (lambda unrestricted input : Bytes .
1360    (bytes-eliminate
1361      (lambda unrestricted current : Bytes . BytesBuilder)
1362      (bytes-builder-empty)
1363      (lambda unrestricted head : Byte .
1364        (lambda unrestricted tail : Bytes .
1365          (lambda unrestricted induction : BytesBuilder .
1366            (bytes-builder-append
1367              (bytes-builder-chunk
1368                (bytes-cons
1369                  (dataBytesHexDigit
1370                    (naturalDivideUnchecked (byte-to-nat head) dataBytesNaturalSixteen))
1371                  (bytes-cons
1372                    (dataBytesHexDigit
1373                      (naturalModuloUnchecked (byte-to-nat head) dataBytesNaturalSixteen))
1374                    b"")))
1375              induction))))
1376      input))

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.