HF RL Explorer

Within a write transaction, it is currently not possible to iterate over a table (e.g., using iter() ) and…

Within a write transaction, it is currently not possible to iterate over a table (e.g., using iter() ) and…: a task in LegoFlow-SWE (Harbor dataset). We propose a new method on the writable Table type, tentatively named drain filter , that allows scanning entries within a specified range and…

The task

We propose a new method on the writable `Table` type, tentatively named `drain_filter`, that allows scanning entries within a specified range and removing those that match a predicate, without manual borrow interleaving.

Part of Lego-X/LegoFlow-SWE.