在复合 StateT / Maybe monad 中，如何采取成功的两种可能性？

Question

在 Haskell 中，这是一个结合了 State 和 Maybe monad 的 monad：

type StatefulMaybe a = StateT Int Maybe a

这是一个可以成功（返回值）或失败的计算。如果成功，它会携带状态和返回值。

我想写一个函数

choice :: StatefulMaybe a -> StatefulMaybe a -> StatefulMaybe a

需要两次这样的计算，returns 第一个（如果有的话）成功。只有成功计算的状态变化才会被结转。

事实上，经过一些实验，我想出了如何写这个。这是：

orMaybe :: Maybe a -> Maybe a -> Maybe a
orMaybe (Just x) _ = Just x
orMaybe Nothing x = x

choice :: StatefulMaybe a -> StatefulMaybe a -> StatefulMaybe a
choice mx my = StateT (\s ->
    (runStateT mx s) `orMaybe` (runStateT my s)
  )

有效：

foo :: StatefulMaybe String
foo = do
    modify (+ 20)
    fail "didn't succeed"

baz :: StatefulMaybe String
baz = do
    modify (+ 30)
    return "two"

bar :: StatefulMaybe String
bar = do
    s <- choice foo baz
    return (s ++ " done")

> runStateT bar 0
Just ("two done",30)

我的问题是：有没有比我上面的实现更简单或更自然的方法来编写这个选择函数？特别是，有什么方法可以提升orMaybe 函数到我的 monad 中？

Answer 1

如果我理解正确的话，我认为这个函数已经存在：<|>:

bar :: StatefulMaybe String
bar = do
    s <- foo <|> baz
    return (s ++ " done")

<|>函数是Applicative类型class的一部分，其中StateT是内部monad既是Functor又是一个实例和 MonadPlus 实例，这适用于 Maybe.

*Q66992923> runStateT bar 0
Just ("two done",30)

正如 luqui 在评论中建议的那样，我认为 mplus 也应该有效，因为 mplus 的默认实现是 <|>.

在复合 StateT / Maybe monad 中，如何采取成功的两种可能性？

In composite StateT / Maybe monad, how to take either possibility that succeeds?

monads

haskell

state-monad

monad-transformers