haskell - 在 Haskell 中，是否有 运算符的抽象？

Question

我刚刚发现自己正在编写这段代码:

import Control.Applicative ((<|>))

x = mA <|> mB <?> c

(<?>) :: Maybe a -> a -> a
Just x  <?> _ = x
Nothing <?> y = y

在哪里 mA :: Maybe a , mB :: Maybe a , c :: a , 和 x :: a .基本上，代码说:选择不是 empty的第一个替代方案。并默认为 c .您可以将其称为“reverse Maybe monad”，类似于 <?>将是 pure .

等效地，我可以写

Just x = mA <|> mB <|> pure c,

但我对无可辩驳的模式感到不舒服。或者，当然，

x = fromMaybe c (mA <|> mB)

因为 fromMaybe === flip <?> .
<?>运算符的灵感来自 parsec。当我发现自己定义了这样的实用函数时，我总是会产生怀疑，但我在任何地方都找不到这种默认行为。

显然 Alternative和 Applicative不够强大。

我错过了一个类型类吗？

Answer 1

我认为将内容留在 (<?>) = flip fromMaybe 是个好主意.

如果你想概括一下，Foldable似乎是具有空虚概念的最简单的类:

(<?>) :: Foldable t => t a -> a -> a
ta <?> a = foldr const a ta 

这将返回 a如果 ta为空，否则 ta 的第一个元素.例子:

Just 0 <?> 10 == 0
Nothing <?> 0 == 0
[] <?> 10 == 10