def encode.page.frame.key.copied

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

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

601def encode.page.frame.key.copied(
602  copied_key: Bytes.Bytes & Bytes.Bytes,
603  encoded: List<&1, ByteMemTable.Entry>,
604  +count: Nat
605) -> Result<&1, &1, Error, EncodedBlock>:
606  match copied_key:
607    case (separator, measurement):
608      encode.page.frame.key.measured(separator, encoded, count,
609        Bytes.length(measurement))