# Evidence

### Related Docs: trait Evidence | package |

#### object Evidence extends EvidenceLowPrioImplicits

Linear Supertypes
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. Evidence
2. EvidenceLowPrioImplicits
3. EvidenceLowestPrioImplicits
4. AnyRef
5. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Value Members

1. #### final def !=(arg0: scala.Any): Boolean

Definition Classes
AnyRef → Any
2. #### final def ##(): Int

Definition Classes
AnyRef → Any
3. #### final def ==(arg0: scala.Any): Boolean

Definition Classes
AnyRef → Any
4. #### implicit def allSubtypes[A1, A2, B](implicit ev1: Evidence[A1, B], ev2: Evidence[A2, B]): Evidence[|[A1, A2], B]

If `A1 <: B` and `A2 <: B`, then `A1 | A2 <: B`.

5. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
6. #### implicit def base[A]: Evidence[A, A]

`A <: A`.

7. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
8. #### implicit def contravariant[F[-_], A, B](implicit ev: Evidence[B, A]): Evidence[F[A], F[B]]

Given a contravariant type constructor `F[-_]`, if `B <: A`, then `F[A] <: F[B]`.

Given a contravariant type constructor `F[-_]`, if `B <: A`, then `F[A] <: F[B]`.

Definition Classes
EvidenceLowestPrioImplicits
9. #### implicit def covariant[F[+_], A, B](implicit ev: Evidence[A, B]): Evidence[F[A], F[B]]

Given a covariant type constructor `F[+_]`, if `A <: B`, then `F[A] <: F[B]`.

Given a covariant type constructor `F[+_]`, if `A <: B`, then `F[A] <: F[B]`.

Definition Classes
EvidenceLowestPrioImplicits
10. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
11. #### def equals(arg0: scala.Any): Boolean

Definition Classes
AnyRef → Any
12. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
13. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
14. #### def hashCode(): Int

Definition Classes
AnyRef → Any
15. #### implicit def intDouble: Evidence[Int, Double]

`Int <: Double`, because that's true in Scala.js.

`Int <: Double`, because that's true in Scala.js.

Definition Classes
EvidenceLowPrioImplicits
16. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
17. #### implicit def left[A, B1, B2](implicit ev: Evidence[A, B1]): Evidence[A, |[B1, B2]]

If `A <: B1`, then `A <: B1 | B2`.

If `A <: B1`, then `A <: B1 | B2`.

Definition Classes
EvidenceLowPrioImplicits
18. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
19. #### final def notify(): Unit

Definition Classes
AnyRef
20. #### final def notifyAll(): Unit

Definition Classes
AnyRef
21. #### implicit def right[A, B1, B2](implicit ev: Evidence[A, B2]): Evidence[A, |[B1, B2]]

If `A <: B2`, then `A <: B1 | B2`.

If `A <: B2`, then `A <: B1 | B2`.

Definition Classes
EvidenceLowestPrioImplicits
22. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
23. #### def toString(): String

Definition Classes
AnyRef → Any
24. #### implicit def undefOr[A, B](implicit ev: Evidence[A, B]): Evidence[A, UndefOr[B]]

If `A <: B`, then `A <: js.UndefOr[B]`.

If `A <: B`, then `A <: js.UndefOr[B]`.

Definition Classes
EvidenceLowPrioImplicits
25. #### final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
26. #### final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
27. #### final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )