Expand description
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<N, D>
represents a type-level rational number with numeratorN
and denominatorD
.
Traits§
- Type-level comparison.
- Type-level integers usable as denominators of type-level rational numbers.
- Type-level integers.
- Marker trait for non-negative numbers.
- Marker trait for non-zero numbers.
- Type-level non-zero unsigned integers.
- Marker trait for not-one numbers.
- Type-level integers usable as numerators of type-level rational numbers with denominator
D
. - Type-level orderings.
- Type-level rational numbers.
- The unary reciprocal operation.