package equations
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- equations
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
case class
EqEvidence[A](x: () ⇒ A, y: () ⇒ A, evidence: () ⇒ Boolean) extends Product with Serializable
- Annotations
- @library()
-
case class
EqProof[A](x: () ⇒ A, y: () ⇒ A) extends Product with Serializable
- Annotations
- @library()
-
case class
ProofOps(prop: Boolean) extends Product with Serializable
- Annotations
- @library()
-
case class
RAEqEvidence[A, B](x: () ⇒ A, y: () ⇒ A, evidence: () ⇒ B) extends Product with Serializable
- Annotations
- @library()
Value Members
-
implicit
def
any2EqProof[A](x: ⇒ A): EqProof[A]
- Annotations
- @library() @inline()
-
implicit
def
any2RAEqEvidence[A](x: ⇒ A): RAEqEvidence[A, Unit]
- Annotations
- @library() @inline()
-
implicit
def
boolean2ProofOps(prop: Boolean): ProofOps
- Annotations
- @library() @inline()
-
def
keepEvidence[C](x: C): Boolean
- Annotations
- @library()
-
def
trivial: Boolean
- Annotations
- @library()