haskell - 编写此代码的更短方法

Question

以下模式在 Haskell 代码中出现得非常频繁。有没有更短的写法？

if pred x
then Just x
else Nothing

Answer 1

您正在寻找mfilter in Control.Monad :

mfilter :: MonadPlus m => (a -> Bool) -> m a -> m a

-- mfilter odd (Just 1) == Just 1
-- mfilter odd (Just 2) == Nothing

请注意，如果条件不依赖于 MonadPlus 的内容，您可以改为编写:

"foo" <$ guard (odd 3) -- Just "foo"
"foo" <$ guard (odd 4) -- Nothing