Migrate.legacy.batch.entries: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend as Migrate Lines 169-177 of mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&start_line=169&end_line=177 import Base import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal def legacy.batch.entries(mutations: List<&2, Wal.Mut>) -> List<&2, MemTable.Entry>: match mutations: case Nil{}: Nil{} case Con{mutation, tail}: match mutation: case Wal.Put{key, val}: Con{MemTable.Entry{key, Some{val}}, legacy.batch.entries(tail)} case Wal.Del{key}: Con{MemTable.Entry{key, None{}}, legacy.batch.entries(tail)} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/MemTable.bend&name=Entry https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=Mut