python - 如何在极地使用过滤器

Question

在polars-py中，我可以这样做：

data.groupby('date').agg([
    pl.col("name").sort_by('factor').head(5).filter(pl.col("x")==1).alias('small'),
    pl.col("name").sort_by('factor').tail(5).filter(pl.col("x")==0).alias('big'),
    
]).sort('date')

但是在polars-rs中，我怎么能做同样的过滤呢？

data .lazy().groupby([col("date")]).agg(
    [ col("name").sort_by([col("factor")],[false]).alias("small")]
)
.sort("date", false)
.collect()

我在哪里可以找到一些关于 rust 中的 Expr 的文档？关于polars-rs的例子很少。