haskell - 概括没什么

Question

假设我们想要使用类似于 Maybe 的容器来处理可能失败的计算。如果我要为我想要做的事情指定一个类型类，它看起来像这样:

class Alternative f => Nullable f where
  isEmpty :: f a -> Bool

这样，isEmpty x == True 当且仅当 x = 空

是否有一些现有的类型类可供我用于此功能，或者我应该只使用上面的类？

编辑:更多上下文

我正在尝试实现逻辑编程的匹配，并且我希望能够有一个“非模式”，即“当且仅当该程序失败时才成功，然后执行___”。

Answer 1

也许你可以使用Foldable以这种方式。 Maybe , [] , Either , ErrorT , ExceptT都是Foldable 。您可以对 toList 的结果进行模式匹配.

如果您想对成功执行的结果执行某些操作，而在执行失败时不执行任何操作，则可以使用 forM_直接。

或者，您可以使用 MonoidNull 类型类来自 monoid-subclasses ，提供 null谓词。