Packages

p

stainless

equations

package equations

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. equations
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class EqEvidence[A](x: () ⇒ A, y: () ⇒ A, evidence: () ⇒ Boolean) extends Product with Serializable
    Annotations
    @library()
  2. case class EqProof[A](x: () ⇒ A, y: () ⇒ A) extends Product with Serializable
    Annotations
    @library()
  3. case class ProofOps(prop: Boolean) extends Product with Serializable
    Annotations
    @library()
  4. case class RAEqEvidence[A, B](x: () ⇒ A, y: () ⇒ A, evidence: () ⇒ B) extends Product with Serializable
    Annotations
    @library()

Value Members

  1. implicit def any2EqProof[A](x: ⇒ A): EqProof[A]
    Annotations
    @library() @inline()
  2. implicit def any2RAEqEvidence[A](x: ⇒ A): RAEqEvidence[A, Unit]
    Annotations
    @library() @inline()
  3. implicit def boolean2ProofOps(prop: Boolean): ProofOps
    Annotations
    @library() @inline()
  4. def keepEvidence[C](x: C): Boolean
    Annotations
    @library()
  5. def trivial: Boolean
    Annotations
    @library()

Inherited from AnyRef

Inherited from Any

Ungrouped