Trait Conclusion 

pub trait Conclusion<const R: bool> { }

Used to match the result of a check.

Implementors

impl<const A: bool, const B: bool> Conclusion<{ $name::<$($param),*>::simplify() }> for And<A, B>

impl<const A: bool, const B: bool> Conclusion<{ $name::<$($param),*>::simplify() }> for Or<A, B>

impl<const A: bool, const B: bool> Conclusion<{ $name::<$($param),*>::simplify() }> for Xor<A, B>

impl<const A: i8, const B: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i8::Equals<A, B>

impl<const A: i8, const B: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i8::Greater<A, B>

impl<const A: i8, const B: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i8::GreaterOrEqual<A, B>

impl<const A: i8, const B: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i8::Less<A, B>

impl<const A: i8, const B: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i8::LessOrEqual<A, B>

impl<const A: i16, const B: i16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i16::Equals<A, B>

impl<const A: i16, const B: i16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i16::Greater<A, B>

impl<const A: i16, const B: i16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i16::GreaterOrEqual<A, B>

impl<const A: i16, const B: i16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i16::Less<A, B>

impl<const A: i16, const B: i16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i16::LessOrEqual<A, B>

impl<const A: i32, const B: i32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i32::Equals<A, B>

impl<const A: i32, const B: i32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i32::Greater<A, B>

impl<const A: i32, const B: i32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i32::GreaterOrEqual<A, B>

impl<const A: i32, const B: i32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i32::Less<A, B>

impl<const A: i32, const B: i32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i32::LessOrEqual<A, B>

impl<const A: i64, const B: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i64::Equals<A, B>

impl<const A: i64, const B: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i64::Greater<A, B>

impl<const A: i64, const B: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i64::GreaterOrEqual<A, B>

impl<const A: i64, const B: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i64::Less<A, B>

impl<const A: i64, const B: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i64::LessOrEqual<A, B>

impl<const A: i128, const B: i128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i128::Equals<A, B>

impl<const A: i128, const B: i128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i128::Greater<A, B>

impl<const A: i128, const B: i128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i128::GreaterOrEqual<A, B>

impl<const A: i128, const B: i128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i128::Less<A, B>

impl<const A: i128, const B: i128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i128::LessOrEqual<A, B>

impl<const A: isize, const B: isize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::isize::Equals<A, B>

impl<const A: isize, const B: isize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::isize::Greater<A, B>

impl<const A: isize, const B: isize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::isize::GreaterOrEqual<A, B>

impl<const A: isize, const B: isize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::isize::Less<A, B>

impl<const A: isize, const B: isize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::isize::LessOrEqual<A, B>

impl<const A: u8, const B: u8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u8::Equals<A, B>

impl<const A: u8, const B: u8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u8::Greater<A, B>

impl<const A: u8, const B: u8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u8::GreaterOrEqual<A, B>

impl<const A: u8, const B: u8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u8::Less<A, B>

impl<const A: u8, const B: u8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u8::LessOrEqual<A, B>

impl<const A: u16, const B: u16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u16::Equals<A, B>

impl<const A: u16, const B: u16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u16::Greater<A, B>

impl<const A: u16, const B: u16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u16::GreaterOrEqual<A, B>

impl<const A: u16, const B: u16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u16::Less<A, B>

impl<const A: u16, const B: u16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u16::LessOrEqual<A, B>

impl<const A: u32, const B: u32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u32::Equals<A, B>

impl<const A: u32, const B: u32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u32::Greater<A, B>

impl<const A: u32, const B: u32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u32::GreaterOrEqual<A, B>

impl<const A: u32, const B: u32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u32::Less<A, B>

impl<const A: u32, const B: u32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u32::LessOrEqual<A, B>

impl<const A: u64, const B: u64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u64::Equals<A, B>

impl<const A: u64, const B: u64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u64::Greater<A, B>

impl<const A: u64, const B: u64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u64::GreaterOrEqual<A, B>

impl<const A: u64, const B: u64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u64::Less<A, B>

impl<const A: u64, const B: u64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u64::LessOrEqual<A, B>

impl<const A: u128, const B: u128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u128::Equals<A, B>

impl<const A: u128, const B: u128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u128::Greater<A, B>

impl<const A: u128, const B: u128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u128::GreaterOrEqual<A, B>

impl<const A: u128, const B: u128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u128::Less<A, B>

impl<const A: u128, const B: u128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u128::LessOrEqual<A, B>

impl<const A: usize, const B: usize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::usize::Equals<A, B>

impl<const A: usize, const B: usize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::usize::Greater<A, B>

impl<const A: usize, const B: usize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::usize::GreaterOrEqual<A, B>

impl<const A: usize, const B: usize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::usize::Less<A, B>

impl<const A: usize, const B: usize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::usize::LessOrEqual<A, B>

impl<const C: char> Conclusion<{ $name::<$($param),*>::simplify() }> for Alphabetic<C>

impl<const C: char> Conclusion<{ $name::<$($param),*>::simplify() }> for Alphanumeric<C>

impl<const C: char> Conclusion<{ $name::<$($param),*>::simplify() }> for Ascii<C>

impl<const C: char> Conclusion<{ $name::<$($param),*>::simplify() }> for Blank<C>

impl<const C: char> Conclusion<{ $name::<$($param),*>::simplify() }> for Digit<C>

impl<const E: bool> Conclusion<E> for Check<E>

impl<const T: bool> Conclusion<{ $name::<$($param),*>::simplify() }> for Negate<T>

impl<const T: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i8::Even<T>

impl<const T: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i8::Negative<T>

impl<const T: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i8::Odd<T>

impl<const T: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i8::Positive<T>

impl<const T: i8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i8::Zero<T>

impl<const T: i16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i16::Even<T>

impl<const T: i16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i16::Negative<T>

impl<const T: i16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i16::Odd<T>

impl<const T: i16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i16::Positive<T>

impl<const T: i16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i16::Zero<T>

impl<const T: i32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i32::Even<T>

impl<const T: i32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i32::Negative<T>

impl<const T: i32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i32::Odd<T>

impl<const T: i32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i32::Positive<T>

impl<const T: i32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i32::Zero<T>

impl<const T: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i64::Even<T>

impl<const T: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i64::Negative<T>

impl<const T: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i64::Odd<T>

impl<const T: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i64::Positive<T>

impl<const T: i64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i64::Zero<T>

impl<const T: i128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i128::Even<T>

impl<const T: i128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i128::Negative<T>

impl<const T: i128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i128::Odd<T>

impl<const T: i128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i128::Positive<T>

impl<const T: i128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::i128::Zero<T>

impl<const T: isize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::isize::Even<T>

impl<const T: isize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::isize::Negative<T>

impl<const T: isize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::isize::Odd<T>

impl<const T: isize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::isize::Positive<T>

impl<const T: isize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::isize::Zero<T>

impl<const T: u8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u8::Even<T>

impl<const T: u8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u8::Odd<T>

impl<const T: u8> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u8::Zero<T>

impl<const T: u16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u16::Even<T>

impl<const T: u16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u16::Odd<T>

impl<const T: u16> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u16::Zero<T>

impl<const T: u32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u32::Even<T>

impl<const T: u32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u32::Odd<T>

impl<const T: u32> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u32::Zero<T>

impl<const T: u64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u64::Even<T>

impl<const T: u64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u64::Odd<T>

impl<const T: u64> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u64::Zero<T>

impl<const T: u128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u128::Even<T>

impl<const T: u128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u128::Odd<T>

impl<const T: u128> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::u128::Zero<T>

impl<const T: usize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::usize::Even<T>

impl<const T: usize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::usize::Odd<T>

impl<const T: usize> Conclusion<{ $name::<$($param),*>::simplify() }> for checks::usize::Zero<T>