Checkers
trait Checkers
- Companion
- object
class Object
trait Matchable
class Any
Value members
Methods
def forall[A1, B](f: A1 => B)(evidence$2: Arbitrary[A1], evidence$3: Show[A1], evidence$4: PropF[B], loc: SourceLocation): EffectType[Expectations]
def forall[A1, A2, B](f: (A1, A2) => B)(evidence$5: Arbitrary[A1], evidence$6: Show[A1], evidence$7: Arbitrary[A2], evidence$8: Show[A2], evidence$9: PropF[B], loc: SourceLocation): EffectType[Expectations]
def forall[A1, A2, A3, B](f: (A1, A2, A3) => B)(evidence$10: Arbitrary[A1], evidence$11: Show[A1], evidence$12: Arbitrary[A2], evidence$13: Show[A2], evidence$14: Arbitrary[A3], evidence$15: Show[A3], evidence$16: PropF[B], loc: SourceLocation): EffectType[Expectations]
def forall[A1, A2, A3, A4, B](f: (A1, A2, A3, A4) => B)(evidence$17: Arbitrary[A1], evidence$18: Show[A1], evidence$19: Arbitrary[A2], evidence$20: Show[A2], evidence$21: Arbitrary[A3], evidence$22: Show[A3], evidence$23: Arbitrary[A4], evidence$24: Show[A4], evidence$25: PropF[B], loc: SourceLocation): EffectType[Expectations]
def forall[A1, A2, A3, A4, A5, B](f: (A1, A2, A3, A4, A5) => B)(evidence$26: Arbitrary[A1], evidence$27: Show[A1], evidence$28: Arbitrary[A2], evidence$29: Show[A2], evidence$30: Arbitrary[A3], evidence$31: Show[A3], evidence$32: Arbitrary[A4], evidence$33: Show[A4], evidence$34: Arbitrary[A5], evidence$35: Show[A5], evidence$36: PropF[B], loc: SourceLocation): EffectType[Expectations]
def forall[A1, A2, A3, A4, A5, A6, B](f: (A1, A2, A3, A4, A5, A6) => B)(evidence$37: Arbitrary[A1], evidence$38: Show[A1], evidence$39: Arbitrary[A2], evidence$40: Show[A2], evidence$41: Arbitrary[A3], evidence$42: Show[A3], evidence$43: Arbitrary[A4], evidence$44: Show[A4], evidence$45: Arbitrary[A5], evidence$46: Show[A5], evidence$47: Arbitrary[A6], evidence$48: Show[A6], evidence$49: PropF[B], loc: SourceLocation): EffectType[Expectations]