haskell - 有没有一种无点的方法可以将条件检查转换为 Maybe 类型的输入？

Question

我只是在 haskell 中完成一些简单的练习，想知道是否有一种无点的方法可以将 if-then-else 语句转换为 Maybe类型:Nothing条件为假时返回，Just如果条件为真，则输入。

简而言之，给出一些:

maybeIf :: (a -> Bool) -> a -> Maybe a
maybeIf cond a = if cond a then Just a else Nothing

是否有关于 a 的无点实现？ ?我也一直在寻找更具体的版本， a -> Maybe a ，并且感觉 Control.Arrow 中的某个地方可能有答案.但是，由于 Maybe是一种数据类型，if-else 语句控制数据流，我不确定是否有一种干净的方法。

Answer 1

阻碍这一点的主要因素是 if/then/else .您可以定义一个 if'组合器，或者您可以使用我经常定义和使用的这个通用版本:

ensure p x = x <$ guard (p x)

标准工具提供连续的无点版本，如

ensure p = ap (<$) (guard . p)
ensure = ap (<$) . (guard .)

虽然我真的不认为两者都比有意义的版本更好。