<:<

scala.<:<

See the<:< companion class

object <:<

Attributes

Companion: class
Source: typeConstraints.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: <:<.type

Members list

Value members

Concrete methods

If A <: B and B <: A, then A = B (subtyping is antisymmetric)

Attributes

Source: typeConstraints.scala

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: typeConstraints.scala

In this article

Generated with