haskell - 无界 a 是否有有界(也许是 a)？

Question

我有一个Foldable的Integer s 是无界的，因此我无法应用 Max折叠到它。

定义 Max 有意义吗？ Nothing 的实例当一个值不存在时？有Ord a => Semigroup (Max a)但我找不到Max (Ord a) => Option a 的实例.

参见foldReduce了解更多背景信息。

Answer 1

monoid-extras 包提供 Data.Monoid.Inf对于单边边界。扩展实数包提供 Data.ExtendedReal ，如果您想一次添加两个边界而不授予其中一个或另一个 Monoid 实例特权，或者想要一个不依赖于基础类型是Bounded。