def next.state.block.finished

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

import Base

1688def next.state.block.finished(
1689  file: File,
1690  state: State,
1691  finished: Bool
1692) -> IO(Result<&1, &1, U32 & String, Step>):
1693  match finished:
1694    case False{}:
1695      next.block.read(file, state)
1696    case True{}:
1697      next.trailer.state(file, state)