SstStreamIo.read.exhausted: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
Lines 305-324 of mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend&start_line=305&end_line=324

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

def read.exhausted(state: StreamReadState) -> IO(Result<&1, &1, U32 & String, Sstable.Table>):
  match state:
    case ReadHeader{file, _}:
      read.exhausted.file(file)
    case ReadHeaderResult{pair, _}:
      read.exhausted.pair(pair)
    case ReadBlocks{file, _, _, _}:
      read.exhausted.file(file)
    case ReadBlockHeaderResult{pair, _, _, _}:
      read.exhausted.pair(pair)
    case ReadBlockBody{file, _, _, _, _, _}:
      read.exhausted.file(file)
    case ReadBlockBodyResult{pair, _, _, _, _, _}:
      read.exhausted.pair(pair)
    case ReadFooterResult{pair, _, _, _}:
      read.exhausted.pair(pair)
    case ReadClose{file, result}:
      do IO<Result<&1, &1, U32 & String, Sstable.Table>>:
        _closed : Unit <- File.close(file)
        return result

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File.close
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend&name=StreamReadState
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend&name=read.exhausted.file
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend&name=read.exhausted.pair
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Sstable.bend&name=Table