Multiply another Nat with this one.
Add another Nat to this one.
Increment this Nat.
The type of a folding operation on this Nat.
The type of this Nat object.
Raise this Nat to the exponent given by another Nat.
Multiply this Nat by 10.
Multiply this Nat by 10, then add 1.
Multiply this Nat by 10, then add 2.
Multiply this Nat by 10, then add 3.
Multiply this Nat by 10, then add 4.
Multiply this Nat by 10, then add 5.
Multiply this Nat by 10, then add 6.
Multiply this Nat by 10, then add 7.
Multiply this Nat by 10, then add 8.
Multiply this Nat by 10, then add 9.
This Nat, typed as Self.
The equivalent Int value for this Nat.
Multiply another Nat with this one.
Add another Nat to this one.
Increment this Nat.
Raise this Nat to the exponent given by another Nat.
Multiply this Nat by 10.
Multiply this Nat by 10, then add 1.
Multiply this Nat by 10, then add 2.
Multiply this Nat by 10, then add 3.
Multiply this Nat by 10, then add 4.
Multiply this Nat by 10, then add 5.
Multiply this Nat by 10, then add 6.
Multiply this Nat by 10, then add 7.
Multiply this Nat by 10, then add 8.
Multiply this Nat by 10, then add 9.
(nat: any2stringadd[Nat]).+(other)
Natural numbers for indexing in HLists.
All type-level computations are done with Church Numerals. Value-level computations at run-time are done directly on the underlying
Int
values, similar tojava.lang.Integer
.