haskell - 使用谓词提升到 Maybe

Question

我正在寻找类似的东西

liftPredMaybe :: (a -> Bool) -> a -> Maybe a
liftPredMaybe p a
  | p a = Just a
  | otherwise = Nothing

Haskell中已经有这样的函数了吗？

Answer 1

不完全是一个现成的解决方案，但具有 guard (来自Control.Monad)和(<$) (来自 Data.Functor )我们可以写:

ensure :: Alternative f => (a -> Bool) -> a -> f a
ensure p a = a <$ guard (p a)

(感谢 Daniel Wagner 为该函数提供了一个好听的名称。)

可疑品味的更无意义的拼写是 \p -> (<$) <*> guard . p .