Fuzion • Idioms • Idiom # 114: Test deep equality

Idiom # 114: Test deep equality

Code

# Fuzion currently does not even define an equality operator for arbitrary
# types, so there is also no equality operator for deep equality.

# Equality is something that must be defined for a particular feature by
# implementing `equatable`, e.g., strings define equality as equality of all the
# bytes in the utf8 stream associated to a string.  A heir feauture of string
# may, however, define equality differently, it may even inherit repeatedly from
# `equatable` and rename 'infix =' to have several, different ways to partition
# instances into equivalence classes.

1
2
3
4
5
6
7
8
9
10
# Fuzion currently does not even define an equality operator for arbitrary
# types, so there is also no equality operator for deep equality.
# Equality is something that must be defined for a particular feature by
# implementing `equatable`, e.g., strings define equality as equality of all the
# bytes in the utf8 stream associated to a string.  A heir feauture of string
# may, however, define equality differently, it may even inherit repeatedly from
# `equatable` and rename 'infix =' to have several, different ways to partition
# instances into equivalence classes.
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

What are effects?

last changed: 2024-07-01

next: Idiom # 115: Compare dates