ByteBlockReader.route.exhausted: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
Lines 838-859 of mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&start_line=838&end_line=859

import Base

def route.exhausted(state: RouteState) -> IO(Result<&1, &1, U32 & String, Reader>):
  match state:
    case RouteNeed{file, _, _, _, _}:
      route.close.failed(file, resource_limit("SST key seek budget exhausted"))
    case RouteSelect{reader, _}:
      match reader:
        case Reader{file, _}:
          route.close.failed(file,
            resource_limit("SST key seek budget exhausted"))
    case RouteRecordRead{pair, _, _, _, _, _}:
      match pair:
        case (file, _):
          route.close.failed(file, resource_limit("SST key seek budget exhausted"))
    case RouteSeparatorNeed{file, _, _, _, _, _, _, _, _}:
      route.close.failed(file, resource_limit("SST key seek budget exhausted"))
    case RouteSeparatorRead{pair, _, _, _, _, _}:
      match pair:
        case (file, _):
          route.close.failed(file, resource_limit("SST key seek budget exhausted"))
    case RouteCompare{file, _, _, _, _, _, _}:
      route.close.failed(file, resource_limit("SST key seek budget exhausted"))
    case RouteFailed{file, error}: route.close.failed(file, error)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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=Sigma
  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=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=Reader
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=RouteState
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=resource_limit
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=route.close.failed