Module com.io7m.jequality.core

Package com.io7m.jequality.annotations

Annotation Type EqualityStructural

@Documented
@Target(TYPE)
@Retention(RUNTIME)
public @interface EqualityStructural

An annotation that, when applied to a given class, implies that the class uses structural equality. That is, for a given type C with the set of fields F, \u2200x y. x : C \u2227 y : C \u2192 (\u2200f. f \u2208 F \u2192 (x.f.equals(y.f) \u2194 x.equals(y))) .