~/jendhub

def batch.stats.exhausted

mylsm-lsm-store@0.6.0.1 · src/ByteDurableDb.bend:1639

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

1639def batch.stats.exhausted(state: BatchStatsState) -> IO(Handle & Result<&1, &1, Error, BatchPrepared>):
1640  match state:
1641    case BatchNeed{handle, _, _, original_stats, _}:
1642      IO.pure(Handle & Result<&1, &1, Error, BatchPrepared>,
1643        (batch.restore.handle(original_stats, handle), Fail{ResourceLimit{}}))
1644    case BatchKey{handle, _, _, original_stats, _, _}:
1645      IO.pure(Handle & Result<&1, &1, Error, BatchPrepared>,
1646        (batch.restore.handle(original_stats, handle), Fail{ResourceLimit{}}))
1647    case BatchProbe{handle, _, _, original_stats, _, _, _, _}:
1648      IO.pure(Handle & Result<&1, &1, Error, BatchPrepared>,
1649        (batch.restore.handle(original_stats, handle), Fail{ResourceLimit{}}))
1650    case BatchRead{pair, _, _, original_stats, _, _}:
1651      match pair:
1652        case (handle, _):
1653          IO.pure(Handle & Result<&1, &1, Error, BatchPrepared>,
1654            (batch.restore.handle(original_stats, handle), Fail{ResourceLimit{}}))

Uses (10)

Used by (1)