Stdlib.Data.Ord
Contents
type OrderingSource#
Constructors
isLT : Ordering → BoolSource#
isEQ : Ordering → BoolSource#
isGT : Ordering → BoolSource#