def encode.page.frame

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

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable

611def encode.page.frame(
612  counted: List<&1, ByteMemTable.Entry> & List<&1, ByteMemTable.Entry>
613) -> Result<&1, &1, Error, EncodedBlock>:
614  match counted:
615    case (sized, encoded):
616      match sized:
617        case Con{ByteMemTable.Entry{key, _}, tail}:
618          encode.page.frame.key.copied(ByteMemTable.bytes.clone(key), encoded,
619            Nat.add(List.length(&1, ByteMemTable.Entry, tail), 1n))
620        case Nil{}: Fail{Malformed{}}