nspec - 0.1.3

Stdlib.Data.Ordering

Description

Definitions

builtin ordering type OrderingSource#

Constructors

| LessThan
| Equal
| GreaterThan

isLessThan (ordering : Ordering) : BoolSource#

isEqual (ordering : Ordering) : BoolSource#

isGreaterThan (ordering : Ordering) : BoolSource#

deriving instance orderingEqI : Eq OrderingSource#

instance orderingShowI : Show OrderingSource#