def chunk_at_go

mylsm-lsm-store@0.6.0.1 · src/Sstable.bend:462

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

462# Handle the chunk at go for the SSTable indexes, filters, and lookup.
463def chunk_at_go(fuel: Nat, +chunks: List<&2, List<&2, MemTable.Entry>>, ix: Nat) -> List<&2, MemTable.Entry>:
464  match fuel chunks:
465    case 0n _:
466      Nil{}
467    case 1n+f Nil{}:
468      Nil{}
469    case 1n+f Con{c, t}:
470      match ix:
471        case 0n:
472          c
473        case 1n+p:
474          chunk_at_go(f, t, p)