Trait BinAnd

pub trait BinAnd<B: Binary> {
    type Output: Binary;
}

The AND logic gate

Example

use const_arithmetic::*;
let True = _1;
let False = _0;
 
fn bin_and<B1, B2, R>(_h1: B1, _h2: B2, _r: R) where
B1: Binary,
B2: Binary,
R: Binary,
B1: BinAnd<B2, Output = R>
{}
 
bin_and(_0, _0, False);
bin_and(_1, _0, False);
bin_and(_0, _1, False);
bin_and(_1, _1, True);

Required Associated Types

type Output: Binary

Implementors

impl BinAnd<_0> for _0

type Output = _0

impl BinAnd<_0> for _1

type Output = _0

impl BinAnd<_1> for _0

type Output = _0

impl BinAnd<_1> for _1

type Output = _1