概括可能和haskell中的任何一个函数

Question

haskell中是否有一个函数可以推广可能和任何一个函数？

例如,我想象一个这样的函数:

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".确保告诉编译器你的意思是foldr来自Data.Foldable; 请参阅该模块的文档.

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