Scalaz iteratees:“lift”;' EnumeratorT '匹配' IterateeT '的';单孢体

如果我有一个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]

如果枚举者单子比被迭代者单子“大”，我可以使用up或更一般的Hoist来“提升”被迭代者以匹配:

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]

但是，当迭代者单子比枚举者单子“更大”时，我该怎么办?

val en: EnumeratorT[String, Id] = ...
val it: IterateeT[String, Task, Int] = ...


it &= ???

似乎没有EnumeratorT的Hoist实例，也没有任何明显的“lift”方法。

14269 次浏览
小开
最佳答案

在通常的编码中，枚举数本质上是StepT[E, F, ?] ~> F[StepT[E, F, ?]]。如果你尝试编写一个泛型方法，在给定F ~> G的情况下将该类型转换为Step[E, G, ?] ~> G[Step[E, G, ?]]，你很快就会遇到一个问题:为了能够应用原始的枚举数，你需要将Step[E, G, A]“降低”为Step[E, F, A]。

Scalaz还提供了另一种枚举数编码，如下所示:

trait EnumeratorP[E, F[_]] {
def apply[G[_]: Monad](f: F ~> G): EnumeratorT[E, G]
}

这种方法允许我们定义一个特定于它所需要的效果的枚举器，但是可以“提升”它以与需要更丰富上下文的消费者一起工作。我们可以修改你的例子，使用EnumeratorP(和更新的自然转换方法，而不是旧的单子部分顺序):

import scalaz._, Scalaz._, iteratee._, concurrent.Task


def enum: EnumeratorP[String, Id] = ???
def iter: IterateeT[String, Task, Int] = ???


val toTask = new (Id ~> Task) { def apply[A](a: A): Task[A] = Task(a) }

现在我们可以像这样组合这两个:

scala> def result = (iter &= enum(toTask)).run
result: scalaz.concurrent.Task[Int]

EnumeratorP是一元的(如果F是适用的)，并且EnumeratorP伴侣对象提供了一些函数来帮助定义与__abc3上的枚举数非常相似的枚举数——有empty， perform， enumPStream等。我猜必须有EnumeratorT实例不能使用EnumeratorP编码来实现，但在我的头脑中，我不确定它们会是什么样子。


提交答案