Source/Packages

Data.Bytes

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

1,462 lines172 declarations57.0 KiBSHA-256 55edb6a9adcd

def · lines 1018–1022

dataBytesAppend

Full file
Bootstrap-compatible append now uses a two-chunk build rather than list-like nested bytesAppend. Bulk callers use DataBytesBuilder and build exactly once.
1018def dataBytesAppend =
1019  (lambda unrestricted left : Bytes .
1020    (lambda unrestricted right : Bytes .
1021      (bytes-builder-build
1022        (bytes-builder-append (bytes-builder-chunk left) (bytes-builder-chunk right)))))

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.