haskell - 这个 Bool-producer 到 Maybe-producer 函数是否出现在任何公共库中？

Question

我发现自己想要这个小小的功能，但它似乎不在Data.Maybe. 是不是在别的地方？

splat :: (a -> Bool) -> a -> Maybe a
splat c a
  | c a       = Just a
  | otherwise = Nothing

Answer 1

splat :: MonadPlus m => (a -> Bool) -> a -> m a
splat c x = guard (c x) >> return x

如果您决定想要这个，那将是一个更短、更笼统的定义。但是，只要guard在需要的地方直接使用它可能会更方便。

Answer 2

包monadplus正好包含这个函数，命名为partial：

partial :: (a -> Bool) -> a -> Maybe a