typebool/
ops.rs

1//! Boolean operations expressed as traits.
2
3/// The negation of a [`Bool`].
4///
5/// [`Bool`]: ../trait.Bool.html
6pub trait Not {
7    /// The result of this operation.
8    type Output;
9}
10
11/// The logical conjunction (intersection) of two [`Bool`]s.
12///
13/// [`Bool`]: ../trait.Bool.html
14pub trait And<A> {
15    /// The result of this operation.
16    type Output;
17}
18
19/// The logical disjunction (union) of two [`Bool`]s.
20///
21/// [`Bool`]: ../trait.Bool.html
22pub trait Or<A> {
23    /// The result of this operation.
24    type Output;
25}
26
27/// The exclusive disjunction of two [`Bool`]s.
28///
29/// [`Bool`]: ../trait.Bool.html
30pub trait Xor<A> {
31    /// The result of this operation.
32    type Output;
33}