Question

如果我有一个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比iteratee monad“更大”，我可以使用up或更一般地Hoist来“提升”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 &= ???

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

Answer 1

在通常的编码中，枚举器本质上是StepT[E, F, ?] ~> F[StepT[E, F, ?]]。如果您尝试编写将这种类型转换为给定Step[E, G, ?] ~> G[Step[E, G, ?]]的{{1}}的通用方法，则会很快遇到一个问题：您需要将F ~> G降低到{ {1}}，以便能够应用原始枚举器。

Scalaz还提供了an alternative enumerator encoding，如下所示：

Step[E, G, A]

这种方法允许我们定义一个枚举器，该枚举器具体说明其所需的效果，但可以“提升”以与需要更丰富上下文的消费者一起使用。我们可以修改您的示例以使用Step[E, F, A]（以及更新的自然变换方法，而不是旧的monad偏序）：

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伴随对象提供了一些功能来帮助定义看起来像{{1 }} –有F，EnumeratorP，EnumeratorT等。我想必须有empty个实例，无法使用perform编码来实现，但我不确定他们的模样。

Scalaz迭代：＆＃34;提升＆＃34; `EnumeratorT`匹配'IterateeT`以获得＆＃34;更大的＆＃34;单子

1 个答案: