~/jendhub

def reopen_replay_go

mylsm-lsm-store@0.3.2.0 · src/Db.bend:436

import mylsm-lsm-store@0.3.2.0/src/Db.bend as Db
import Base
import mylsm-lsm-store@0.3.2.0/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.3.2.0/src/Wal.bend as Wal

436def reopen_replay_go(fuel: Nat, +mem: MemTable.MemTable, +str: String) -> MemTable.MemTable:
437  match fuel:
438    case 0n:
439      mem
440    case 1n+g:
441      +fl = reopen_frame_len(str)
442      reopen_replay_go(g, reopen_dec_apply(Wal.decode(reopen_clip(fl, str)), mem), reopen_drop(fl, str))

Uses (8)

Used by (1)