~/jendhub

def write.page.ready

mylsm-lsm-store@0.6.0.1 · src/transfer/RestoreIo.bend:66

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

66def write.page.ready(
67  measured: List<&1, ByteMemTable.Entry> & Nat
68) -> WritePage:
69  match measured:
70    case (entries, count):
71      write.page.go(Nat.min(RestorePolicy.write.page.size(), count), entries, Nil{})

Uses (9)

Used by (1)