addOne | |
1 (Function) | Integer.Positive |
2 (Function) | Integer.Natural |
BoundedBelow | Integer.BoundedBelow, Integer |
convert | Integer.Conversion, Integer |
ConvertWithFinite | Integer.Finite, Integer |
Finite | Integer.Finite, Integer |
fromFinite | Integer.Finite, Integer |
fromInt | |
1 (Function) | Integer.Signed |
2 (Function) | Integer.Positive |
3 (Function) | Integer.Natural |
4 (Function) | Integer.Integer |
5 (Function) | Integer.Finite, Integer |
fromInteger | |
1 (Function) | Integer.Signed |
2 (Function) | Integer.Positive |
3 (Function) | Integer.Natural |
fromNatural | |
1 (Function) | Integer.Signed |
2 (Function) | Integer.Positive |
3 (Function) | Integer.Integer |
fromPositive | |
1 (Function) | Integer.Signed |
2 (Function) | Integer.Natural |
3 (Function) | Integer.Integer |
fromSigned | |
1 (Function) | Integer.Positive |
2 (Function) | Integer.Natural |
3 (Function) | Integer.Integer |
fromWord | |
1 (Function) | Integer.Signed |
2 (Function) | Integer.Positive |
3 (Function) | Integer.Natural |
4 (Function) | Integer.Integer |
5 (Function) | Integer.Finite, Integer |
Integer | Integer.Integer, Integer |
IntegerConvert | Integer.Conversion, Integer |
IntegerEquiv | Integer.Conversion, Integer |
IntegerNarrow | Integer.Conversion, Integer |
length | |
1 (Function) | Integer.Positive |
2 (Function) | Integer.Natural |
minBound | Integer.BoundedBelow, Integer |
Minus | Integer.Signed, Integer |
MinusSign | Integer.Sign, Integer |
multiply | Integer.Sign |
narrow | Integer.Conversion, Integer |
Natural | Integer.Natural, Integer |
negate | Integer.Sign |
NonZero | Integer.Signed, Integer |
NotMinus | Integer.Signed |
NotPlus | Integer.Signed |
one | |
1 (Function) | Integer.Positive |
2 (Function) | Integer.Natural |
Plus | Integer.Signed, Integer |
PlusSign | Integer.Sign, Integer |
Positive | Integer.Positive, Integer |
Sign | Integer.Sign, Integer |
Signed | Integer.Signed, Integer |
subtract | |
1 (Function) | Integer.Positive |
2 (Function) | Integer.Natural |
3 (Function) | Integer.Subtraction, Integer |
subtractInteger | Integer.Subtraction, Integer |
Subtraction | Integer.Subtraction, Integer |
Subtraction' | Integer.Subtraction, Integer |
subtractOne | |
1 (Function) | Integer.Positive |
2 (Function) | Integer.Natural |
subtractSigned | Integer.Subtraction, Integer |
toFinite | Integer.Finite, Integer |
toInt | |
1 (Function) | Integer.Signed |
2 (Function) | Integer.Positive |
3 (Function) | Integer.Natural |
4 (Function) | Integer.Integer |
5 (Function) | Integer.Finite, Integer |
toInteger | |
1 (Function) | Integer.Positive |
2 (Function) | Integer.Signed |
3 (Function) | Integer.Natural |
toNatural | |
1 (Function) | Integer.Positive |
2 (Function) | Integer.Signed |
3 (Function) | Integer.Integer |
toPositive | |
1 (Function) | Integer.Signed |
2 (Function) | Integer.Natural |
3 (Function) | Integer.Integer |
toSigned | |
1 (Function) | Integer.Positive |
2 (Function) | Integer.Natural |
3 (Function) | Integer.Integer |
toWord | |
1 (Function) | Integer.Signed |
2 (Function) | Integer.Positive |
3 (Function) | Integer.Natural |
4 (Function) | Integer.Integer |
5 (Function) | Integer.Finite, Integer |
yolo | Integer.Conversion, Integer |
Zero | Integer.Signed, Integer |