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 Future<N> {}
19  
20  impl<N: Network> PartialEq for Future<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 Future<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          // Ensure the `arguments` are the same length.
33          if self.arguments.len() != other.arguments.len() {
34              return Boolean::new(false);
35          }
36  
37          // Check the `program_id`, and `function_name`.
38          if !(*self.program_id.is_equal(&other.program_id) && *self.function_name.is_equal(&other.function_name)) {
39              return Boolean::new(false);
40          }
41  
42          // Recursively check each argument for equality.
43          if self
44              .arguments
45              .iter()
46              .zip_eq(other.arguments.iter())
47              .all(|(argument_a, argument_b)| *argument_a.is_equal(argument_b))
48          {
49              Boolean::new(true)
50          } else {
51              Boolean::new(false)
52          }
53      }
54  
55      /// Returns `true` if `self` and `other` are *not* equal.
56      fn is_not_equal(&self, other: &Self) -> Self::Output {
57          !self.is_equal(other)
58      }
59  }