Фильтровать строки в Polars Dataframe, если столбец списка содержит определенное значение ⇐ Python

[Anonymous]

Я хочу отфильтровать кадр данных Polars на основе столбца, где значения представляют собой список.
import polars as pl

df = pl.DataFrame(
{
"foo": [[1, 3, 5], [2, 6, 7], [3, 8, 10]],
"bar": [6, 7, 8],
"ham": ["a", "b", "c"],
})

Мне нужен фильтр, который возвращает каждую строку, в которой столбец «foo» имеет значение 3.
shape: (2, 3)
┌────────────┬─────┬─────┐
│ foo ┆ bar ┆ ham │
│ --- ┆ --- ┆ --- │
│ list[i64] ┆ i64 ┆ str │
╞════════════╪═════╪═════╡
│ [1, 3, 5] ┆ 6 ┆ a │
│ [3, 8, 10] ┆ 8 ┆ c │
└────────────┴─────┴─────┘


Подробнее здесь: https://stackoverflow.com/questions/759 ... ific-value