Enumerators
是否可以从单个中创建多个Enumerator
?我正在寻找的是相当于List.partition
返回 a (List[A], List[A])
,例如
List().partition(_.age >= 18)
所以理想情况下,我想在 Enumerator 上应用一个转换,它允许我对数据进行分区,以便得到一(Enumerator[T], Enumerator[T])
对。
使用 Play 的 Iteratee API 可以轻松实现吗?
我找到的最接近的Enumeratee.grouped
方法是允许对输入进行分组的方法,但据我所知,如果我想要的只是 2 个分区(组),我将不得不消耗整个Enumerator
来获得结果。但我希望生成的枚举器从输入异步馈送。