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