组合两个枚举

Question

我试图围绕枚举器库进行思考，但遇到了一种情况，我想根据两个现有的枚举器构建一个新的枚举器。假设我有枚举：

e1 :: Enumeratee x y m b
e2 :: Enumeratee y z m b

我觉得我应该能够将它们组合成一个枚举

e3 :: Enumeratee x z m b

，但我在包中找不到现有的函数来执行此操作。我尝试自己编写这样一个函数，但我对迭代器的理解仍然非常有限，以至于我无法找到一种方法来匹配所有复杂类型。

我是否只是错过了一些基本的组合器，或者枚举甚至应该彼此组合？

Answer 1

理论上它们是可组合的，但类型有点棘手。困难在于第一个枚举的最终参数 b 实际上并不是 b；这是另一个 iteratee！这是来自 iteratee 的 ><> 运算符的类型，组成枚举数：

Prelude Data.Iteratee> :t (><>)
(><>)
  :: (Monad m, Nullable s1) =>
     (forall x. Enumeratee s1 s2 m x)
     -> Enumeratee s2 s3 m a -> Enumeratee s1 s3 m a

注意第一个枚举数中额外的 forall ；这表明 Rank-2 类型正在发挥作用。如果enumerator作者想要保持H98兼容性（我相信这是最初的目标之一），这种方法是不可用的。

可以以不需要 Rank-2 类型的形式编写此类型签名，但它要么更长，要么从类型中不清楚它实际上是由两个枚举组成，或者两者都是组成的。例如，这是 ghc 的 (><>) 推断类型：

Prelude Data.Iteratee> :t (><>>)
(><>>)
  :: (Monad m, Nullable s) =>
     (b -> Iteratee s m (Iteratee s' m a1))
     -> (a -> b) -> a -> Iteratee s m a1

虽然这些类型适用于 iteratee 组合器，但希望它有足够的信息，您将能够将它们应用于枚举器。

Answer 2

我不久前遇到过这个问题，你需要首先有一个迭代器（或枚举器）才能组成枚举器。

您可以这样开始：

module Main where
import Data.Enumerator
import qualified Data.Enumerator.List as EL

main :: IO ()
main = run_ (enum $ EL.consume) >>= print
  where
    enum  = (enumList 5 [1..] $= EL.isolate 100) $= EL.filter pairs
    pairs = (==0) . (`mod` 2)

前面的代码将枚举器列表组合在一起以创建一个新的枚举器，然后将其应用于消费 Iteratee。

($=) 用于组合Enumerator 和 Enumeratee 以创建新的枚举器，而 (=$) 可用于组合 Iteratee 与 Enumeratee 以创建新的 Iteratee 。我建议使用后者，因为在使用 (=$) 组成 Enumeratees 列表时，类型不会破坏你的球：

module Main where
import Data.Enumerator
import qualified Data.Enumerator.List as EL

main :: IO ()
main = run_ (enumList 5 [1..] $ it) >>= print
  where 
    it = foldr (=$)
               EL.consume
               [ EL.isolate 100
               , EL.filter ((==0) . (`mod` 2))
               ]

如果你尝试通过创建 Enumerator 而不是 Iteratee 来实现上面相同的函数，你将获得无限递归使用 foldl' ($=) (enumList 5 [1..]) [list-of-enumeratees] 时出现类型错误。

希望这有帮助。