def validate_batch.counted
mylsm-lsm-store@0.6.0.1 · src/DurableBatchPolicy.bend:127
import mylsm-lsm-store@0.6.0.1/src/DurableBatchPolicy.bend as DurableBatchPolicy
import Base
127
128def validate_batch.counted(
129 count: Nat,
130 encoded_bytes: Nat,
131 count_validation: Validation
132) -> Validation:
133 match count_validation:
134 case ValidBatch{}:
135 validate_frame_bytes(count, encoded_bytes, max_batch_bytes(),
136 max_single_batch_bytes())
137 case EmptyBatch{}: EmptyBatch{}
138 case BatchCountExceeded{}: BatchCountExceeded{}
139 case BatchBytesExceeded{}: BatchBytesExceeded{}