ByteWal.record.value.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 176-186 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=176&end_line=186

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

# Advances from a copied value to a completed put record.
def record.value.finished(
  frame: Bytes.Bytes,
  value: Bytes.Bytes,
  value_offset: U32,
  +value_length: U32
) -> DecodedRecord:
  match frame:
    case Bytes.Bytes{len, buf}:
      RecordDone{Bytes.Bytes{len, buf}, (value_offset + value_length : U32),
        Put{Bytes.new(0), value}}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  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=new
  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