RestoreIo.write.mutations: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend as RestoreIo Lines 76-82 of mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend&start_line=76&end_line=82 import Base import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal def write.mutations(entries: List<&1, ByteMemTable.Entry>) -> List<&1, ByteWal.Mutation>: match entries: case Nil{}: Nil{} case Con{ByteMemTable.Entry{key, value}, tail}: match value: case None{}: Con{ByteWal.Delete{key}, write.mutations(tail)} case Some{value}: Con{ByteWal.Put{key, value}, write.mutations(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/ByteMemTable.bend&name=Entry https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteWal.bend&name=Mutation