def write.page.go

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

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

54def write.page.go(
55  fuel: Nat,
56  entries: List<&1, ByteMemTable.Entry>,
57  reversed: List<&1, ByteMemTable.Entry>
58) -> WritePage:
59  match fuel:
60    case 0n: WritePage{List.reverse(&1, ByteMemTable.Entry, reversed), entries}
61    case 1n+rest:
62      match entries:
63        case Nil{}: WritePage{List.reverse(&1, ByteMemTable.Entry, reversed), Nil{}}
64        case Con{entry, tail}: write.page.go(rest, tail, Con{entry, reversed})