polars.DataFrame.is_empty# DataFrame.is_empty() → bool[source]# Check if the dataframe is empty. Examples >>> df = pl.DataFrame({"foo": [1, 2, 3], "bar": [4, 5, 6]}) >>> df.is_empty() False >>> df.filter(pl.col("foo") > 99).is_empty() True