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))

Uses (6)

Used by (1)