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> Eq for Value<N> {}
19  
20  impl<N: Network> PartialEq for Value<N> {
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> Equal<Self> for Value<N> {
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::Plaintext(a), Self::Plaintext(b)) => a.is_equal(b),
34              (Self::Record(a), Self::Record(b)) => a.is_equal(b),
35              (Self::Future(a), Self::Future(b)) => a.is_equal(b),
36              (Self::Plaintext(..), _) | (Self::Record(..), _) | (Self::Future(..), _) => 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::Plaintext(a), Self::Plaintext(b)) => a.is_not_equal(b),
44              (Self::Record(a), Self::Record(b)) => a.is_not_equal(b),
45              (Self::Future(a), Self::Future(b)) => a.is_not_equal(b),
46              (Self::Plaintext(..), _) | (Self::Record(..), _) | (Self::Future(..), _) => Boolean::new(true),
47          }
48      }
49  }