如果我有 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"方法 .