寻找`if px然后x else empty`构造的概括

Question

我有几个片段,他们觉得他们正在做同样的事情,但我并不完全相信有一个通用的构造来处理它们.在一个地方,我有

ensure :: (String -> Bool) -> String -> String
ensure p x =
    if p x then
        x
    else
        ""

这可能在使用中看起来像

ensure (/= "kim") "alex"    -- returns "alex"
ensure (/= "kim") "kim"     -- returns ""

在另一个,我有非常相似

ensure :: (a -> Bool) -> Maybe a -> Maybe a
ensure p maybeX = do
    x <- maybeX
    if p x then
        Just x
    else
        Nothing

相反,这看起来像

ensure even 6     -- returns Just 6
ensure even 11    -- returns Nothing

两者都根据某个谓词检查值是否正确,如果不是,则返回默认的"空"值.虽然有一点点差异 - 这意味着第二个功能可以重写为

ensure :: (Maybe a -> Bool) -> Maybe a -> Maybe a
ensure p maybeX =
    if p x then
        x
    else
        Nothing

使它们更相似,将"展开"的责任Maybe放在谓词上.有了这个新定义,这两个功能都将落在其中

ensure :: Alternative f => (f a -> Bool) -> f a -> f a
ensure p x =
    bool x empty (p x)

所以,我的问题是,

这是否bool x empty (p x)以某种形式存在,所以我不必自己实现这个功能？与内联的问题bool x empty (p x)是,在我的情况,无论是p和x是相当长的.

Answer 1

以下是评论中的建议。一次使用Monoid，通过9000：

ensure :: Monoid a => (a -> Bool) -> a -> a
ensure p a = if p a then a else mempty

另一个使用MonadPlus，由user3237465：

ensure :: MonadPlus m => (a -> Bool) -> a -> m a
ensure p = mfilter p . return

第二种方法的一种变体，仅需要Alternative，作者： Daniel Wagner：

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