stdlib - 0.11.0

Stdlib.Data.Ordering

Description

Definitions

builtin ordering type OrderingSource#

Constructors

| LessThan
| Equal
| GreaterThan

open Ordering using {LessThan; Equal; GreaterThan} public

isLessThan (ordering : Ordering) : BoolSource#

isEqual (ordering : Ordering) : BoolSource#

isGreaterThan (ordering : Ordering) : BoolSource#

deriving instance orderingEqI : Eq OrderingSource#

instance orderingShowI : Show OrderingSource#