def read.fold
mylsm-lsm-store@0.6.0.1 · src/ByteSstIo.bend:173
import mylsm-lsm-store@0.6.0.1/src/ByteSstIo.bend as ByteSstIo
import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
173def read.fold(
174 entries: List<&1, ByteMemTable.Entry>,
175 table: ByteMemTable.Table
176) -> ByteMemTable.Table:
177 match entries:
178 case Nil{}: table
179 case Con{ByteMemTable.Entry{key, val}, tail}:
180 match val:
181 case None{}: read.fold(tail, ByteMemTable.del(table, key))
182 case Some{value}: read.fold(tail, ByteMemTable.put(table, key, value))