Packages

object <:< extends java.io.Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. <:<
  2. Serializable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. 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)

  2. implicit def refl[A]: =:=[A, A]

    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).