Обобщение isNothing

Question

Итак, предположим, что мы хотим иметь дело с вычислениями, которые могут завершиться неудачно, используя контейнер, подобный Maybe. Если бы я был указать на то, что класс типов я хочу сделать, это было бы выглядеть примерно так:

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

Такое, что isEmpty x == True тогда и только тогда, когда x = empty

Есть некоторые существующие класс типов, которые я должен использовать для этой функции или я должен просто использовать класс выше?

EDIT: Некоторые больше контекста

Я пытаюсь реализовать соответствие для логического программирования, и я хочу, чтобы иметь возможность иметь «не образец», т.е. «добиться успеха, если и только если эта программа не выполняется, то делать ___».

Answer 1

Возможно, вы можете использовать Foldable таким образом. Maybe, [], Either, ErrorT, ExceptT все Foldable. Вы можете просто сопоставить шаблон по результату toList.

И в тех случаях, когда вы хотите что-то сделать с результатами успешного выполнения и ничего в случае сбоя, вы можете напрямую использовать forM_.

В качестве альтернативы вы можете использовать класс MonoidNull от monoid-subclasses, который обеспечивает предикат null.