Crate typerat

Development in progress

Type-level rational numbers based on typenum.

Re-exports

• pub use typenum::Equal;
• pub use typenum::Greater;
• pub use typenum::Less;
• pub use typenum::NInt;
• pub use typenum::PInt;
• pub use typenum::consts::*;

Structs

• Q
  Q<N, D> represents a type-level rational number with numerator N and denominator D.

Traits

• Cmp
  Type-level comparison.
• Denominator
  Type-level integers usable as denominators of type-level rational numbers.
• Integer
  Type-level integers.
• NonNegative
  Marker trait for non-negative numbers.
• NonZero
  Marker trait for non-zero numbers.
• NonZeroUnsigned
  Type-level non-zero unsigned integers.
• NotOne
  Marker trait for not-one numbers.
• Numerator
  Type-level integers usable as numerators of type-level rational numbers with denominator D.
• Ordering
  Type-level orderings.
• Rational
  Type-level rational numbers.
• Recip
  The unary reciprocal operation.