flatmap列表和Maybes

Question

我正在尋找可以同時映射和展平列表和Maybes的代碼。我在this topic發現了這樣的flatMap功能：

flatMap :: (t -> [a]) -> [t] -> [a] 
flatMap _ [] = [] 
flatMap f (x:xs) = f x ++ flatMap f xs 

這工作得很好：

> flatMap id [[],[1,2],[3],[],[4,5,6]] 
[1,2,3,4,5,6] 

唯一的問題是，它並不適用於Maybes作品。相反，我必須使用Data.Maybe.mapMaybe：

> Data.Maybe.mapMaybe id [Just 1, Nothing, Just 2, Just 3, Nothing] 
[1,2,3] 

是否有一個內置的功能，可以同時處理列表和Maybes（也許一些其他類型的）？

Answer 1

我認爲Data.Foldable可能是你在找什麼：

> let flatMap f = concatMap (Data.Foldable.toList . f) 
> :t flatMap 
flatMap :: Data.Foldable.Foldable t => (a -> t b) -> [a] -> [b] 
> flatMap id [[],[1,2],[3],[],[4,5,6]] 
[1,2,3,4,5,6] 
> flatMap id [Just 1, Nothing, Just 2, Just 3, Nothing] 
[1,2,3]