如何在MonadPlus/Alternative中组合并分支

Question

我最近写了

do
  e <- (Left <$> m) <|> (Right <$> n)
  more actions
  case e of
    Left x -> ...
    Right y -> ...

这似乎很尴尬。我知道protolude（以及其他一些包）定义了

-- Called eitherP in parser combinator libraries
eitherA :: Alternative f => f a -> f b -> f (Either a b)

但即便如此，这一切都感觉有点手动。有什么我没见过的收紧它的好模式吗？

Answer 1

你或许可以这样做：

do
  let acts = do more actions
  (do x <- m; acts; ...) <|> (do y <- n; acts; ...)

我不知道这对你来说是否更好。

（当然，如果这些更多操作绑定了许多变量，那么这就不会很好地解决问题）

Answer 2

这是对这个问题的过度思考，但是。。。

在您的代码中，或的每个分支的类型可能是不同的，但它们不会逃出do块，因为它们被左和右的延续“擦除”。

这看起来有点像存在主义。也许我们可以声明一个新类型，它将初始操作与其延续一起打包，并为该新类型提供一个可选的实例。

实际上，我们不必声明它，因为这样一个新类型已经存在于Hackage中：它是kan-扩展中的Coyoneda。

data Coyoneda f a where       
    Coyoneda :: (b -> a) -> f b -> Coyoneda f a  

Alternative f => Alternative (Coyoneda f)
MonadPlus f => MonadPlus (Coyoneda f)

在我们的例子中，“返回值”本身将是一个一元动作m，因此我们想要处理Coyoneda m（ma）类型的值，其中ma是整个do块的类型。

了解所有这些，我们可以定义以下函数：

sandwich :: (Foldable f, MonadPlus m, Monad m) 
         => m x 
         -> f (Coyoneda m (m a)) 
         -> m a
sandwich more = join . lowerCoyoneda . hoistCoyoneda (<* more) . asum 

重新实现原始示例：

sandwich more [Coyoneda m xCont, Coyoneda n yCont]

Answer 3

我只是注意到OP在评论中表达了同样的想法。不管怎样，我还是要发表我的想法。

Coyoneda是一个巧妙的技巧，但对于这个特殊的问题，它有点矫枉过正。我想你所需要的只是常规的旧的延续。

让我们命名这些...s：

do
  e <- (Left <$> m) <|> (Right <$> n)
  more actions
  case e of
    Left x -> fx x
    Right y -> fy y

那么，我们可以这样写：

do
  e <- (fx <$> m) <|> (fy <$> n)
  more actions
  e

这有点微妙——使用很重要