cons_cell 0.1.0

Swiss knife for heterogenous containers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use crate::cons::ConsCell;
use crate::cons::traits::switches::and_switch::AndSwitch;
use crate::cons::traits::switches::contains_many_switch::ContainsAnySwitch;
use typenum::Bit;

pub trait EqualUnorderedSwitch<OtherC: ConsCell> {
    type Value: Bit;
}

impl<C: ConsCell, OtherC: ConsCell> EqualUnorderedSwitch<OtherC> for C
where
    C: ContainsAnySwitch<OtherC>,
    OtherC: ContainsAnySwitch<C>,
    <C as ContainsAnySwitch<OtherC>>::Value: AndSwitch<<OtherC as ContainsAnySwitch<C>>::Value>,
{
    type Value = <<C as ContainsAnySwitch<OtherC>>::Value as AndSwitch<
        <OtherC as ContainsAnySwitch<C>>::Value,
    >>::Value;
}