def batch.commit.choose

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

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

1801def batch.commit.choose(
1802  original_stats: VisibleStats.Stats,
1803  adjusted_stats: VisibleStats.Stats,
1804  handle: Handle,
1805  result: Result<&1, &1, Error, Unit>
1806) -> Handle & Result<&1, &1, Error, Unit>:
1807  match result:
1808    case Done{Unit{}}:
1809      batch.commit.handle(adjusted_stats, handle, Done{Unit{}})
1810    case Fail{error}:
1811      batch.commit.handle(original_stats, handle, Fail{error})

Uses (7)

Used by (1)