def encode.multi.validated

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:838

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

838def encode.multi.validated(
839  copies: List<&1, ByteMemTable.Entry> & List<&1, ByteMemTable.Entry>,
840  level: U32,
841  max_bytes: Nat
842) -> Result<&1, &1, Error, Bytes.Bytes>:
843  match copies:
844    case (to_validate, to_encode):
845      encode.multi.order(to_encode, level,
846        ByteMemTable.ordered.strict(to_validate), max_bytes)