ByteWal.decode.frame.header.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 954-962 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=954&end_line=962

import Base
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal

# Dispatches a parsed header to the full bounded frame decoder.
def decode.frame.header.result(
  result: Result<&1, &1, Wal.Error, FrameHeader>
) -> Result<&1, &1, Wal.Error, Batch>:
  match result:
    case Fail{error}:
      Fail{error}
    case Done{header}:
      decode.frame.header(header)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=Batch
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=FrameHeader
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=decode.frame.header
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=Error