def route.exhausted

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

import Base

838def route.exhausted(state: RouteState) -> IO(Result<&1, &1, U32 & String, Reader>):
839  match state:
840    case RouteNeed{file, _, _, _, _}:
841      route.close.failed(file, resource_limit("SST key seek budget exhausted"))
842    case RouteSelect{reader, _}:
843      match reader:
844        case Reader{file, _}:
845          route.close.failed(file,
846            resource_limit("SST key seek budget exhausted"))
847    case RouteRecordRead{pair, _, _, _, _, _}:
848      match pair:
849        case (file, _):
850          route.close.failed(file, resource_limit("SST key seek budget exhausted"))
851    case RouteSeparatorNeed{file, _, _, _, _, _, _, _, _}:
852      route.close.failed(file, resource_limit("SST key seek budget exhausted"))
853    case RouteSeparatorRead{pair, _, _, _, _, _}:
854      match pair:
855        case (file, _):
856          route.close.failed(file, resource_limit("SST key seek budget exhausted"))
857    case RouteCompare{file, _, _, _, _, _, _}:
858      route.close.failed(file, resource_limit("SST key seek budget exhausted"))
859    case RouteFailed{file, error}: route.close.failed(file, error)