Harmony中对于集合信息筛选的filter语法糖使用语法格式？

filter过滤器在ArkTS里我还不会用，但是其它语言用着很方便，我测试了一下python的列表推导式写法，但是不支持，需要帮忙写一下语法格式，或者给我在线文档的连接也行，我没找到。

当前我已经将读取出来的json数据转换成了Array<Infos>的泛型格式，需要过滤其中的信息。

我的info类格式是：

需要帮忙写一下filter的语法格式，最好对应着这个结构体。