ByteWal.measure.lookup.read.result: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal
Lines 654-669 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=654&end_line=669

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

def measure.lookup.read.result(
  frame: Bytes.Bytes,
  remaining: Nat,
  progress: MeasureProgress,
  result: Result<&1, &1, Wal.Error, RecordMetadata>
) -> MeasureState:
  match progress:
    case MeasureProgress{query, records_end, found, prior_has_value,
      prior_value_bytes}:
      match result:
        case Fail{error}: MeasureFailed{error}
        case Done{RecordMetadata{next_offset, key, has_value, value_bytes}}:
          measure.lookup.compared(frame, next_offset, remaining,
            records_end, found, prior_has_value, prior_value_bytes,
            has_value, value_bytes,
            Keys.Bytes.cmp.with_inputs(key, query))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=MeasureProgress
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=MeasureState
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=RecordMetadata
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=measure.lookup.compared
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Keys.bend&name=Bytes.cmp.with_inputs
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=Error