Trait AndAlso

pub trait AndAlso<T: Bool> {
    type Result: Bool;
}

Logical And

A logical and operator for all you conjunctive needs. It would short circuit if that were possible, but here we are.

assert_eq!(<False as AndAlso<False>>::Result::eval(), false);
assert_eq!(<False as AndAlso<True>>::Result::eval(), false);
assert_eq!(<True as AndAlso<False>>::Result::eval(), false);
assert_eq!(<True as AndAlso<True>>::Result::eval(), true);

Required Associated Types

type Result: Bool

Implementors

impl AndAlso<False> for True

type Result = False

impl AndAlso<True> for True

type Result = True

impl<T: Bool> AndAlso<T> for False

type Result = False