<:< (original) (raw)
Value members
Concrete methods
def antisymm[A, B](implicit l: A <:< B, r: B <:< A): A =:= B
If A <: B and B <: A, then A = B (subtyping is antisymmetric)
If A <: B and B <: A, then A = B (subtyping is antisymmetric)
Attributes
Source
Implicits
Implicits
A =:= A for all A (equality is reflexive).
A =:= A for all A (equality is reflexive). This also provides implicit views A <:< B when A <: B, because (A =:= A) <: (A <:< A) <: (A <:< B).
Attributes
Source