下面一行
filterM (\x -> Just (x > 0)) [2, 1, 0, -1]
输出
Just [2,1]
和行
filterM (\x -> Just (x > 0)) []
显示
Just []
但我希望它输出什么都没有。可以做些什么来引入一些适用于所有使用列表的 monad 函数的更改？那么我应该使用其他东西来代替 filterM 还是我可以从 Maybe monad 进行一些继承？
最佳答案
您可以使用mfilter根据谓词将 Just [] 转换为空:
mfilter (not . null) . filterM (Just . (>0)) $ []
关于haskell - 将 "Just []"变为 "Nothing"，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15383010/