def encode.multi.order

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

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

825def encode.multi.order(
826  entries: List<&1, ByteMemTable.Entry>,
827  level: U32,
828  ordered: Bool,
829  max_bytes: Nat
830) -> Result<&1, &1, Error, Bytes.Bytes>:
831  match ordered:
832    case False{}: Fail{InvalidOrder{}}
833    case True{}:
834      +level_nat = U32.to_nat(level)
835      encode.multi.level(entries, U32.from_nat(level_nat),
836        Nat.is_le(level_nat, 255n), max_bytes)