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.