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

partiallyOrdered

🌌partiallyOrdered

partiallyOrdered -- feature for immutable values that have an infix <=
predicate that defines a partial order

features inheriting from partiallyOrdered define a partial order of their
values

NYI: the compiler should check that features inheriting from this are
actually immutable.

does this come before other?

equality check for immutable values

redefines hasEquals.infix =:
equality check for immutable values

get value of type T.

NYI: Once Eiffel-style 'like this' works, we can use 'like this' instead of
T and no longer need this feature.