com.io7m.jequality.annotations

Annotation Type EqualityStructural

@Documented
 @Target(value=TYPE)
 @Retention(value=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, ∀x y. x : C ∧ y : C → (∀f. f ∈ F → (x.f.equals(y.f) ↔ x.equals(y))) .