ByteDurableDb.batch.stats.exhausted: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend as ByteDurableDb
Lines 1639-1654 of mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&start_line=1639&end_line=1654

import Base

def batch.stats.exhausted(state: BatchStatsState) -> IO(Handle & Result<&1, &1, Error, BatchPrepared>):
  match state:
    case BatchNeed{handle, _, _, original_stats, _}:
      IO.pure(Handle & Result<&1, &1, Error, BatchPrepared>,
        (batch.restore.handle(original_stats, handle), Fail{ResourceLimit{}}))
    case BatchKey{handle, _, _, original_stats, _, _}:
      IO.pure(Handle & Result<&1, &1, Error, BatchPrepared>,
        (batch.restore.handle(original_stats, handle), Fail{ResourceLimit{}}))
    case BatchProbe{handle, _, _, original_stats, _, _, _, _}:
      IO.pure(Handle & Result<&1, &1, Error, BatchPrepared>,
        (batch.restore.handle(original_stats, handle), Fail{ResourceLimit{}}))
    case BatchRead{pair, _, _, original_stats, _, _}:
      match pair:
        case (handle, _):
          IO.pure(Handle & Result<&1, &1, Error, BatchPrepared>,
            (batch.restore.handle(original_stats, handle), Fail{ResourceLimit{}}))

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=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=Sigma
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=BatchPrepared
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=BatchStatsState
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=Handle
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend&name=batch.restore.handle