是否有限制（可能是a）为无限制的？

Question

我有Foldable Integer的{​​{1}} s无限制，因此我无法对其应用Max折叠。

当值不存在时，定义Max Nothing实例是否有意义？有Ord a => Semigroup (Max a)但我找不到Max的{​​{1}}个实例。

有关更多背景信息，请参阅foldReduce。

Answer 1

monoid-extras包为单边界提供Data.Monoid.Inf。 extended-reals包提供Data.ExtendedReal，如果你想一次性添加两个边界而不为一个或另一个Monoid实例提供特权，或者想要一个新的Bounded实例，这有时会更方便不依赖于Bounded的基础类型。