Crate peano_axioms

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 T and U.
• Eight
  The number 8.
• Exponent
  T raised to the power of U.
• Five
  The number 5.
• Four
  The number 4.
• GreatestCommonDivisor
  The greatest common divisor of T and U.
• LeastCommonMultiple
  The least common multiple of T and U.
• Negation
  The negation of Self.
• Nine
  The number 9.
• One
  The number 1.
• Product
  The product of T and U.
• Quotient
  The quotient of T and U.
• Reciprocal
  The reciprocal of T.
• Remainder
  The remainder when dividing T by U.
• Seven
  The number 7.
• Simplified
  The simplification of T.
• Six
  The number 6.
• Sum
  The sum of T and U.
• Ten
  The number 10.
• Three
  The number 3.
• Two
  The number 2.