/ circuit / environment / src / traits / types / boolean.rs
boolean.rs
 1  // Copyright (c) 2019-2025 Alpha-Delta Network Inc.
 2  // This file is part of the deltavm library.
 3  
 4  // Licensed under the Apache License, Version 2.0 (the "License");
 5  // you may not use this file except in compliance with the License.
 6  // You may obtain a copy of the License at:
 7  
 8  // http://www.apache.org/licenses/LICENSE-2.0
 9  
10  // Unless required by applicable law or agreed to in writing, software
11  // distributed under the License is distributed on an "AS IS" BASIS,
12  // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  // See the License for the specific language governing permissions and
14  // limitations under the License.
15  
16  use crate::prelude::*;
17  
18  /// Representation of a boolean.
19  pub trait BooleanTrait:
20      Adder
21      + BitAndAssign
22      + BitAnd<Output = Self>
23      + BitOrAssign
24      + BitOr<Output = Self>
25      + BitXorAssign
26      + BitXor<Output = Self>
27      + Clone
28      + Eject<Primitive = bool>
29      + Equal
30      + FromBits
31      + Inject<Primitive = bool>
32      + Nand
33      + Nor
34      + Not
35      + Parser
36      + Subtractor
37      + Ternary
38      + ToBits
39      + TypeName
40  {
41  }