“应用默认值”的抽象形式

Question

我想轻松地从“失败”数据类型中取出一个值，或者在失败的情况下使用默认值。

这是我对Maybe 的实现：

infixr 1 <||>
(<||>) :: Maybe a -> a -> a
(<||>) = flip fromMaybe

pred :: String -> String -> Bool
pred x name = (x ==) <$> name `lookup` myMap <||> False

如果name 在myMap 中映射到x，则pred 返回True。

但正如在 Haskell 中通常的情况一样，我不知道有一种更抽象的方式来执行此操作。有人吗？

Answer 1

这是我想出的：

class Defaultable f where
  infixr 1 <||>
  (<||>) :: f a -> a -> a

instance Defaultable Maybe where
  (<||>) = flip fromMaybe

instance Defaultable (Either a) where
  (Left _)  <||> x = x
  (Right x) <||> _ = x

与Alternative 结合使用，您可以将可能的选项串在一起并在末尾添加一个默认值。

Answer 2

Foldable 可能是标准库中的合理选择：

import Data.Foldable

infixr 1 <||>
(<||>) :: Foldable f => f a -> a -> a

v <||> a =
    case toList v of
        [] -> a
        (x:xs) -> x

这确实意味着您必须决定是采用找到的“第一个”元素还是“最后一个”元素。同样不幸的是，它还没有Either 实例，尽管它是coming in GHC 7.8/base 4.7。同时你可以自己定义：

instance Foldable (Either a) where
    foldMap _ (Left _) = mempty
    foldMap f (Right y) = f y

    foldr _ z (Left _) = z
    foldr f z (Right y) = f y z