Trait TypedAssertEqual

pub trait TypedAssertEqual<N: IsInteger> { }

A trait that asserts two integers are equal Example

use const_arithmetic::*;
let a = parse_integer!(3);
 
// This verifies that a is 3
fn is_3<T>(_a: T) where
T: IsInteger,
T: TypedAssertEqual<TypedInteger<_3, _0, _0, _0, _0, _0, _0, _0>>
{}
 
is_3(a);

Implementors

impl<N: IsInteger> TypedAssertEqual<N> for TypedInteger<N::Hex0, N::Hex1, N::Hex2, N::Hex3, N::Hex4, N::Hex5, N::Hex6, N::Hex7>