Trait BinNot

pub trait BinNot {
    type Output: Binary;
}

The NOT logic gate

Example

use const_arithmetic::*;
let True = _1;
let False = _0;
 
fn bin_not<B, R>(_b: B, _r: R) where
B: Binary,
R: Binary,
B: BinNot<Output = R>
{}
 
bin_not(_0, True);
bin_not(_1, False);

Required Associated Types

type Output: Binary

Implementors

impl BinNot for _0

type Output = _1

impl BinNot for _1

type Output = _0