com.io7m.jequality.annotations

Annotation Type EqualityReference

@Documented
@Target(value=TYPE)
@Retention(value=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)).