Just (x > 0)) [2, 1, 0, -1] 输出 Just [2,1] 和行 filterM (\x -> Just (x > 0)) [] 显示 -6ren">
gpt4 book ai didi

haskell - 将 "Just []"变为 "Nothing"

转载 作者:行者123 更新时间:2023-12-02 16:06:19 27 4
gpt4 key购买 nike

下面一行

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/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com