ByteWal.record.key.finished: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal
Lines 295-309 of mylsm-lsm-store@0.6.0.1/src/ByteWal.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&start_line=295&end_line=309

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

# Finishes a raw delete record or reads the following put value length.
def record.key.finished(
  frame: Bytes.Bytes,
  tag: U32,
  key: Bytes.Bytes,
  +value_length_offset: U32
) -> DecodedRecord:
  match tag:
    case 1:
      RecordDone{frame, (value_length_offset : U32), Delete{key}}
    case 0:
      record.put.value.length.read(
        Bytes.get.u32be(frame, value_length_offset), key, value_length_offset)
    case _:
      record.malformed(frame)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=get.u32be
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=DecodedRecord
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=Mutation
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=record.malformed
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=record.put.value.length.read