Scala 3
3.10.0-RC1-bin-20260621-b3a04ea-NIGHTLY
LearnInstallPlaygroundFind A LibraryCommunityBlog
LearnInstallPlaygroundFind A LibraryCommunityBlog
DocsAPI
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL
Scala 3/scala/<:<

<:<

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

def antisymm[A, B](implicit l: A <:< B, r: B <:< A): A =:= B

If A &lt;: B and B &lt;: A, then A = B (subtyping is antisymmetric).

If A &lt;: B and B &lt;: A, then A = B (subtyping is antisymmetric).

Type parameters

A

a type proved equal to B by mutual subtyping

B

a type proved equal to A by mutual subtyping

Value parameters

l

evidence that A &lt;: B

r

evidence that B &lt;: A

Attributes

Source
typeConstraints.scala

Implicits

Implicits

implicit def refl[A]: A =:= A

A =:= A for all A (equality is reflexive). This also provides implicit views A &lt;:&lt; B when A &lt;: B, because (A =:= A) &lt;: (A &lt;:&lt; A) &lt;: (A &lt;:&lt; B).

A =:= A for all A (equality is reflexive). This also provides implicit views A &lt;:&lt; B when A &lt;: B, because (A =:= A) &lt;: (A &lt;:&lt; A) &lt;: (A &lt;:&lt; B).

Type parameters

A

the type for which to provide reflexive equality evidence

Attributes

Source
typeConstraints.scala
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL