{% hint style="warning" %} Type signatures are provisional and may contain errors. {% endhint %}
(LT)
> Nat
Represents "less than" in ordering comparisons.
LT == 0
(EQ)
> Nat
Represents "equal to" in ordering comparisons.
EQ == 1
(GT)
> Nat
Represents "greater than" in ordering comparisons.
GT == 2
(ordWeld x y)
> x : Nat
> y : Nat
> Nat
Combines two ordering results, giving precedence to the first non-EQ result.
ordWeld LT EQ == 0 ; LT
ordWeld EQ GT == 2 ; GT
ordWeld EQ EQ == 1 ; EQ
ordWeld LT GT == 0 ; LT
(isZero x)
> x : Nat
> Bool
Checks if a value is zero.
isZero 0 == 1
isZero 1 == 0
isZero 100 == 0
(isOne x)
> x : Nat
> Bool
Checks if a value is one.
isOne 1 == 1
isOne 100 == 0
(cmp x y)
> x : a
> y : a
> Nat
Compares two values, returning LT, EQ, or GT.
cmp 1 2 == LT
cmp 2 2 == EQ
cmp 3 2 == GT
cmp [1 2] [1 3] == LT
cmp [1 2] [1 2] == EQ
(eql x y)
> x : a
> y : a
> Bool
Checks if two values are equal.
eql 1 1 == 1
eql 1 2 == 0
eql [1 2] [1 2] == 1
eql [1 2] [1 3] == 0
(neq x y)
> x : a
> y : a
> Bool
Checks if two values are not equal.
neq 1 2 == 1
neq 1 1 == 0
neq [1 2] [1 3] == 1
neq [1 2] [1 2] == 0
(lth x y)
> x : a
> y : a
> Bool
Checks if the first value is less than the second.
lth 1 2 == 1
lth 2 1 == 0
lth 1 1 == 0
(lte x y)
> x : a
> y : a
> Bool
Checks if the first value is less than or equal to the second.
lte 1 2 == 1
lte 1 1 == 1
lte 2 1 == 0
(gth x y)
> x : a
> y : a
> Bool
Checks if the first value is greater than the second.
gth 2 1 == 1
gth 1 2 == 0
gth 1 1 == 0
(gte x y)
> x : a
> y : a
> Bool
Checks if the first value is greater than or equal to the second.
gte 2 1 == 1
gte 1 1 == 1
gte 1 2 == 0
(min x y)
> x : a
> y : a
> a
Returns the minimum of two values.
min 1 2 == 1
min 2 1 == 1
min 1 1 == 1
(max x y)
> x : a
> y : a
> a
Returns the maximum of two values.
max 1 2 == 2
max 2 1 == 2
max 1 1 == 1