def next.body.result

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:1328

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

1328def next.body.result(
1329  context: BodyContext,
1330  pair: File & Result<&1, &1, U32 & String, SstStreamIo.ExactResult>
1331) -> IO(Result<&1, &1, U32 & String, Step>):
1332  match context:
1333    case BodyContext{state, block_header, +payload_length}:
1334      match pair:
1335        case (file, result):
1336          next.body.exact(BodyContext{state, block_header, payload_length},
1337            SstStreamIo.read.exact.state((file, result)))