scala-library-sjs
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala-library-sjs/scala/<:<

<:<

scala.<:<
See the<:< companion class
object <:<

Attributes

Companion
class
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 <: B and B <: A, then A = B (subtyping is antisymmetric)

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

Attributes

Implicits

Implicits

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

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

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

Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL