是否有限制(可能是a)为无限制的？

Question

我有一个无限Foldable的Integers,因此我无法应用Max折叠.

定义值何时不存在的Max实例是否有意义Nothing？有,Ord a => Semigroup (Max a)但我找不到Max实例(Ord a) => Option a.

有关更多上下文,请参阅foldReduce.

Answer 1

monoid-extras包为单侧边界提供Data.Monoid.Inf.extended- reals包提供了Data.ExtendedReal,如果你想在一次性中添加两个边界而不保留一个或另一个Monoid实例,或者想要一个Bounded不依赖于底层类型的新实例,这有时会更方便Bounded.