scala.<:<
See the<:< companion class
object<:<
Attributes
- Companion
- class
- Source
- typeConstraints.scala
- Graph
- Supertypes
- Self type
- <:<.type
Members list
Value members
Concrete methods
IfA <: B andB <: A, thenA = B (subtyping is antisymmetric)
Implicits
Implicits
A =:= A for allA (equality is reflexive).
A =:= A for allA (equality is reflexive). This also provides implicit viewsA <:< B whenA <: B, because(A =:= A) <: (A <:< A) <: (A <:< B).
Attributes
- Source
- typeConstraints.scala
In this article