Scalaz迭代:“提升” EnumeratorT以匹配“ IterateeT”以获得“更大”的单子


445

如果有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“提升” iterae以匹配:

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,也没有任何明显的“提升”方法。


59
+1是一个整洁的问题,但最重要的是,我不确定我在一般情况下是否有可能,因为an Enumerator实际上只是对a的包装StepT => IterateeT,这表明您需要“下调”从StepT[E, BigMonad, A]
特拉维斯·布朗

12
是的,我发现当我尝试直接实现它时。但是从逻辑Enumerator上讲,这只是有效的资源,对吗?这感觉就像我应该能够使用可以提供的东西A来供应Task[A]
lmm 2014年

8
我对Scala的了解不多,无法提供答案,但是您不能定义自己的类型并为其提供一种提升机制吗?
Rob

8
不,那根本不是一回事,这是另一种“提升”。
lmm

2
@TravisBrown,如果您要编写此内容,那么现在有一笔赏金。
亚伦·霍尔

Answers:


4

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

Scalaz还提供了一种替代的枚举器编码,如下所示:

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

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

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同伴对象提供了一些功能,以帮助确定该统计员看起来很像上的那些EnumeratorT-there的emptyperformenumPStream等我想有必须EnumeratorT是不能使用执行情况该EnumeratorP编码,但是从我的头顶,我不知道他们是什么样子。

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.