Trait typerat::Denominator

pub trait Denominator: Integer + NonNegative + NonZero { }

Type-level integers usable as denominators of type-level rational numbers.

Examples

use typerat::*;

fn is_denominator<D: Denominator>() -> bool {
    true
}

assert!(is_denominator::<P1>());
assert!(is_denominator::<P2>());

assert!(is_denominator::<Z0>());

assert!(is_denominator::<N1>());

Object Safety

This trait is not object safe.

Implementors

impl<D> Denominator for D

where D: Integer + NonNegative + NonZero,