Stdlib.Trait.Ord
Contents
type OrderingSource#
Constructors
isLT : Ordering → BoolSource#
isEQ : Ordering → BoolSource#
isGT : Ordering → BoolSource#
type Ord (A : Type)Source#
A trait for defining a total order