generics - 概括 haskell 中的 Maybe 和 Either 函数

Question

haskell 中是否有一个函数可以概括 Maybe 和 Either 函数？

例如，我正在想象一个这样的函数:

generalizedFunc :: SOMETHING m => b -> (a -> b) -> m a -> b
generalizedFunc valForError f value = ...

在 ghci 中使用它看起来像这样:

> generalizedFunc "bye" (\_ -> "hello") (Just 3)
"hello"
> generalizedFunc "bye" (\_ -> "hello") Nothing
"bye"
> generalizedFunc "bye" (\_ -> "hello") (Right 3)
"hello"
> generalizedFunc "bye" (\_ -> "hello") (Left "error")
"bye"

注意:Tom Ellis 提出了一个很好的观点，即这不是 Either 的泛化，而是一种特殊化。

Answer 1

是的。您要找的是Data.Foldable 。它将 foldr (对于列表)概括为任何代数数据类型:

Data.List.foldr     :: (a -> b -> b) -> b     ->   []       a -> b
maybe               :: b -> (a -> b)          ->   Maybe    a -> b
either              :: (a -> c) -> (b -> c)   ->   Either a b -> c
---
Data.Foldable.foldr :: Foldable t
                    => (a -> b -> b) -> b     ->   t        a -> b

您的代码将从 generalizedFunc "bye"(\_ -> "hello") 更改为 foldr (\_ _ -> "hello") "bye" 。确保告诉编译器您指的是来自 Data.Foldable 的 foldr；请参阅模块的文档。

不幸的是，您的 GHC 版本可能缺少 Foldable (Either a) 实例，但自己编写一个实例应该相对容易。