def write_batch.validation.counted

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

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal
import mylsm-lsm-store@0.6.0.1/src/DurableBatchPolicy.bend as BatchPolicy

1883def write_batch.validation.counted(
1884  handle: Handle,
1885  mutations: List<&1, ByteWal.Mutation>,
1886  counts: Nat & Nat,
1887  encoded_bytes: Nat
1888) -> IO(Handle & Result<&1, &1, Error, Unit>):
1889  match counts:
1890    case (count, validation_count):
1891      write_batch.validation.result(handle, mutations, count,
1892        BatchPolicy.validate_batch(validation_count, encoded_bytes))