1  // Copyright (c) 2019-2025 Alpha-Delta Network Inc.
 2  // This file is part of the alphavm 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 super::*;
17  
18  impl<N: Network, Private: Visibility<Boolean = Boolean<N>>> Eq for Entry<N, Private> {}
19  
20  impl<N: Network, Private: Visibility<Boolean = Boolean<N>>> PartialEq for Entry<N, Private> {
21      /// Returns `true` if `self` and `other` are equal.
22      fn eq(&self, other: &Self) -> bool {
23          *self.is_equal(other)
24      }
25  }
26  
27  impl<N: Network, Private: Visibility<Boolean = Boolean<N>>> Equal<Self> for Entry<N, Private> {
28      type Output = Boolean<N>;
29  
30      /// Returns `true` if `self` and `other` are equal.
31      fn is_equal(&self, other: &Self) -> Self::Output {
32          match (self, other) {
33              (Self::Constant(a), Self::Constant(b)) => a.is_equal(b),
34              (Self::Public(a), Self::Public(b)) => a.is_equal(b),
35              (Self::Private(a), Self::Private(b)) => a.is_equal(b),
36              (Self::Constant(_), _) | (Self::Public(_), _) | (Self::Private(_), _) => Boolean::new(false),
37          }
38      }
39  
40      /// Returns `true` if `self` and `other` are *not* equal.
41      fn is_not_equal(&self, other: &Self) -> Self::Output {
42          match (self, other) {
43              (Self::Constant(a), Self::Constant(b)) => a.is_not_equal(b),
44              (Self::Public(a), Self::Public(b)) => a.is_not_equal(b),
45              (Self::Private(a), Self::Private(b)) => a.is_not_equal(b),
46              (Self::Constant(_), _) | (Self::Public(_), _) | (Self::Private(_), _) => Boolean::new(true),
47          }
48      }
49  }