TicTacToe - 0.1.0

Stdlib.Trait.Ord

Description

Definitions

type OrderingSource#

Constructors

| LT : Ordering
| EQ : Ordering
| GT : Ordering

isLT : Ordering → BoolSource#

isEQ : Ordering → BoolSource#

isGT : Ordering → BoolSource#

type Ord (A : Type)Source#

A trait for defining a total order

Constructors

| mkOrd : (A -> A -> Ordering) -> Ord A