const_arithmetic

Trait BinNor

Source 
pub trait BinNor<B: Binary> {
    type Output: Binary;
}
Expand description

The NOR logic gate

Example

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

Required Associated Types§

Source

type Output: Binary

Implementors§