Haskell 模式匹配对称情况

Question

假设我有一个像这样的 haskell 表达式:

foo (Nothing, Just a) = bar a
foo (Just a, Nothing) = bar a

是否有任何 haskell 语法可以折叠这些情况，以便我可以匹配任一模式并指定 bar a 作为两者的响应？或者这是我能得到的最简洁的吗？

Answer 1

如果您的代码比示例更复杂，您可能需要使用 Alternative 执行类似的操作Maybe 的实例和 PatternGuards扩展(Haskell2010 的一部分)。

{-# LANGUAGE PatternGuards #-}
import Control.Applicative

foo (x, y) | Just a <- y <|> x = bar a

如果您不熟悉，<|>选择最左边的Just如果有一个并返回 Nothing否则，会导致模式保护失败。