Package com.io7m.jequality.annotations

Annotation Interface EqualityReference

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

An annotation that, when applied to a given class, implies that the class uses reference equality. That is, for a given type C, ∀x y. x <: C ∧ y <: C → (x == y ↔ x.equals(y)).