Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

hasEquals

hasEquals

§hasEquals(HE 
type
:hasEquals hasEquals.HE)
 => 
hasEquals hasEquals.HE
:
has_equality 

hasEquals -- feature that allows comparison using 'infix =' operator.

Features inheriting from this feature must be immutable. The operator
'infix =' provides a means to separate values into equivalence classes.

NYI: the compiler should check that features inheriting from this are
actually immutable.
unequality check for immutable values
equality check for immutable values
alternative unicode operator for 'infix /='