~/jendhub

def decode.sst_name.copies

mylsm-lsm-store@0.6.0.1 · src/ByteManifest.bend:232

import mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend as ByteManifest
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

232# Checks the fixed SST name using independent packed-byte copies.
233def decode.sst_name.copies(
234  copies: Bytes.Bytes & Bytes.Bytes & Bytes.Bytes
235) -> Result<&1, &1, Error, ManifestValue>:
236  match copies:
237    case (input, length_bytes, name_bytes):
238      decode.sst.name.valid(input,
239        equal(Bytes.eq(slice.result(Bytes.slice(length_bytes, 24, 4)), u32.bytes(3))) &&
240          equal(Bytes.eq(slice.result(Bytes.slice(name_bytes, 28, 3)), sst.name())))

Uses (14)

Used by (1)