TicTacToe - 0.1.0

Stdlib.Data.Nat.Ord

Description

Definitions

builtin nat-eq == : Nat → Nat → BoolSource#

Tests for equality.

/= : Nat → Nat → BoolSource#

Tests for inequality.

builtin nat-le <= : Nat → Nat → BoolSource#

Returns true iff the first element is less than or equal to the second.

builtin nat-lt < : Nat → Nat → BoolSource#

Returns true iff the first element is less than the second.

> : Nat → Nat → BoolSource#

Returns true iff the first element is greater than the second.

>= : Nat → Nat → BoolSource#

Returns true iff the first element is greater than or equal to the second.

compare : Nat → Nat → OrderingSource#

Tests for Ordering.

min : Nat → Nat → NatSource#

Returns the smallest Nat.

max : Nat → Nat → NatSource#

Returns the biggest Nat.