Ord

Created: November-22, 2018

例項化 Ord 的型別包括例如 Int，String 和 [a]（對於 a 型別，其中有 Ord a 例項）。如果型別例項化 Ord，則意味著我們知道該型別的值的自然排序。注意，一種型別的自然排序通常有許多可能的選擇，而 Ord 迫使我們偏愛它。

Ord 提供標準的 (<=)，(<)，(>)，(>=) 運算子，但有趣地使用自定義代數資料型別定義它們

data Ordering = LT | EQ | GT

compare::Ord a => a -> a -> Ordering

必需的方法

compare::Ord a => a -> a -> Ordering 或 (<=) :: Ord a => a -> a -> Boolean（標準的預設 compare 方法在其實現中使用 (<=)）

定義

compare::Ord a => a -> a -> Ordering
(<=) :: Ord a => a -> a -> Boolean
(<) :: Ord a => a -> a -> Boolean
(>=) :: Ord a => a -> a -> Boolean
(>) :: Ord a => a -> a -> Boolean
min::Ord a => a -> a -> a
max::Ord a => a -> a -> a

直接超級類

Eq