Package com.io7m.jequality.annotations

Annotation Interface 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, ∀x y. x : C ∧ y : C → (∀f. f ∈ F → (x.f.equals(y.f) ↔ x.equals(y))) .