haskell - 链接类型为 `a b [c]` 和 `a c d` 的箭头

Question

我有一个输出值列表的箭头( a b [c] )和另一个接受该类型的单个值的箭头( a c d )。我需要的基本上是一种将它们链接起来或将第二个箭头提升到 a [c] [d] 的方法。 .

Answer 1

你不能只用 Arrow类型类。起重 a b c进入 a [b] [c]需要在 [] 之间进行选择和 (:)案子。幸运的是，ArrowChoice正好提供这种操作。

mapA :: ArrowChoice a => a b c -> a [b] [c]
mapA f = proc list -> case list of
    []   -> returnA -< []
    x:xs -> do
        y  <- f      -< x
        ys <- mapA f -< xs
        returnA      -< y:ys

你的功能很简单:

chain :: ArrowChoice a => a b [c] -> a c d -> a b [d]
chain f g = f >>> mapA g

没有 proc表示法，我们需要一个将列表构造函数转换为 Either 的函数:

listCase :: [a] -> Either () (a, [a])
listCase []     = Left ()
listCase (x:xs) = Right (x,xs)

mapA f = arr listCase >>>
    arr (const []) ||| (f *** mapA f >>> arr (uncurry (:)))