minitest.laws

Checkers

trait Checkers extends Asserts

Integration with ScalaCheck.

See: https://www.scalacheck.org/

Linear Supertypes
Asserts, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Checkers
  2. Asserts
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def assert(condition: Boolean, hint: String): Unit

    Definition Classes
    Asserts
    Annotations
    @macroImpl( ... )
  8. def assert(condition: Boolean): Unit

    Definition Classes
    Asserts
    Annotations
    @macroImpl( ... )
  9. def assertEquals[T](received: T, expected: T): Unit

    Definition Classes
    Asserts
    Annotations
    @macroImpl( ... )
  10. def assertResult[T](expected: T, hint: String)(callback: T): Unit

    Definition Classes
    Asserts
    Annotations
    @macroImpl( ... )
  11. def assertResult[T](expected: T)(callback: T): Unit

    Definition Classes
    Asserts
    Annotations
    @macroImpl( ... )
  12. def cancel(reason: String): Unit

    Definition Classes
    Asserts
    Annotations
    @macroImpl( ... )
  13. def cancel(): Unit

    Definition Classes
    Asserts
  14. def check(prop: Prop, config: Parameters = checkConfig): Unit

    Test a given ScalaCheck Prop.

  15. def check1[A1, P](f: (A1) ⇒ P, config: Parameters = checkConfig)(implicit p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty): Unit

    Convert the passed 1-arg function into a property, and check it.

    Convert the passed 1-arg function into a property, and check it.

    f

    the function to be converted into a property and checked

  16. def check2[A1, A2, P](f: (A1, A2) ⇒ P, config: Parameters = checkConfig)(implicit p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty): Unit

    Convert the passed 2-arg function into a property, and check it.

    Convert the passed 2-arg function into a property, and check it.

    f

    the function to be converted into a property and checked

  17. def check3[A1, A2, A3, P](f: (A1, A2, A3) ⇒ P, config: Parameters = checkConfig)(implicit p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty): Unit

    Convert the passed 3-arg function into a property, and check it.

    Convert the passed 3-arg function into a property, and check it.

    f

    the function to be converted into a property and checked

  18. def check4[A1, A2, A3, A4, P](f: (A1, A2, A3, A4) ⇒ P, config: Parameters = checkConfig)(implicit p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty): Unit

    Convert the passed 4-arg function into a property, and check it.

    Convert the passed 4-arg function into a property, and check it.

    f

    the function to be converted into a property and checked

  19. def check5[A1, A2, A3, A4, A5, P](f: (A1, A2, A3, A4, A5) ⇒ P, config: Parameters = checkConfig)(implicit p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty): Unit

    Convert the passed 5-arg function into a property, and check it.

    Convert the passed 5-arg function into a property, and check it.

    f

    the function to be converted into a property and checked

  20. def check6[A1, A2, A3, A4, A5, A6, P](f: (A1, A2, A3, A4, A5, A6) ⇒ P, config: Parameters = checkConfig)(implicit p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty, a6: Arbitrary[A6], s6: Shrink[A6], pp6: (A6) ⇒ Pretty): Unit

    Convert the passed 6-arg function into a property, and check it.

    Convert the passed 6-arg function into a property, and check it.

    f

    the function to be converted into a property and checked

  21. def checkConfig: Parameters

    ScalaCheck test parameters instance.

  22. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  24. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  25. def fail(reason: String): Unit

    Definition Classes
    Asserts
    Annotations
    @macroImpl( ... )
  26. def fail(): Unit

    Definition Classes
    Asserts
    Annotations
    @macroImpl( ... )
  27. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any
  30. def ignore(reason: String): Unit

    Definition Classes
    Asserts
    Annotations
    @macroImpl( ... )
  31. def ignore(): Unit

    Definition Classes
    Asserts
  32. def intercept[E <: Throwable](callback: ⇒ Unit): Unit

    Definition Classes
    Asserts
    Annotations
    @macroImpl( ... )
  33. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  34. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  35. final def notify(): Unit

    Definition Classes
    AnyRef
  36. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  37. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  38. def toString(): String

    Definition Classes
    AnyRef → Any
  39. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Asserts

Inherited from AnyRef

Inherited from Any

Ungrouped