Expand description
Type-level numbers based on an extension of the Peano axioms.
Macros§
- rpn
- Reverse polish notation representation for type-level numerical expressions.
Structs§
- Fraction
- A ratio of two numbers.
- Next
- The successor to some number.
- Prev
- The predecessor to some number.
- Zero
- The number zero.
Traits§
- Abs
- Type-level absolute value.
- Exp
- Type-level exponentiation.
- Gcd
- Type-level greatest common divisor.
- Inverse
- Type-level inverse.
- Lcm
- Type-level least common multiple.
- Negative
- Negative type-level numbers.
- NonNegative
- Non-negative type-level numbers.
- NonPositive
- Non-positive type-level numbers.
- NonZero
- Non-zero type-level numbers.
- Positive
- Positive type-level numbers.
- Reify
- Types which can be converted to a runtime value.
- Sequence
- Types which are part of a sequence.
- Simplify
- Simplification of redundancies in type-level numbers.
- ToInt
- Type level fraction-to-integer conversion.
Type Aliases§
- Absolute
- The absolute value of
T. - Difference
- The difference between
TandU. - Eight
- The number 8.
- Exponent
Traised to the power ofU.- Five
- The number 5.
- Four
- The number 4.
- Greatest
Common Divisor - The greatest common divisor of
TandU. - Least
Common Multiple - The least common multiple of
TandU. - Negation
- The negation of
Self. - Nine
- The number 9.
- One
- The number 1.
- Product
- The product of
TandU. - Quotient
- The quotient of
TandU. - Reciprocal
- The reciprocal of
T. - Remainder
- The remainder when dividing
TbyU. - Seven
- The number 7.
- Simplified
- The simplification of
T. - Six
- The number 6.
- Sum
- The sum of
TandU. - Ten
- The number 10.
- Three
- The number 3.
- Two
- The number 2.