如果我有 EnumeratorT
和相应的 IterateeT
我可以一起运行它们:
val en: EnumeratorT[String, Task] = EnumeratorT.enumList(List("a", "b", "c"))
val it: IterateeT[String, Task, Int] = IterateeT.length
(it &= en).run : Task[Int]
如果枚举器monad是"bigger"而不是iteratee monad,我可以使用 up
,或者更一般地, Hoist
到"lift" iteratee来匹配:
val en: EnumeratorT[String, Task] = ...
val it: IterateeT[String, Id, Int] = ...
val liftedIt = IterateeT.IterateeTMonadTrans[String].hoist(
implicitly[Task |>=| Id]).apply(it)
(liftedIt &= en).run: Task[Int]
但是当iteratee monad比枚举器monad“更大”时,我该怎么办?
val en: EnumeratorT[String, Id] = ...
val it: IterateeT[String, Task, Int] = ...
it &= ???
EnumeratorT
似乎没有 Hoist
实例,也没有任何明显的"lift"方法 .