scalacheck/weaver.scalacheck/Checkers/forall

forall

object forall extends PartiallyAppliedForall
class Object
trait Matchable
class Any

Value members

Concrete methods

Inherited methods

def apply[A, B](gen: Gen[A])(f: A => B)(`evidence$53`: Show[A], `evidence$54`: PropF[B], loc: SourceLocation): EffectType[Expectations]
def apply[A1, A2, A3, A4, A5, A6, B](f: (A1, A2, A3, A4, A5, A6) => B)(`evidence$40`: Arbitrary[A1], `evidence$41`: Show[A1], `evidence$42`: Arbitrary[A2], `evidence$43`: Show[A2], `evidence$44`: Arbitrary[A3], `evidence$45`: Show[A3], `evidence$46`: Arbitrary[A4], `evidence$47`: Show[A4], `evidence$48`: Arbitrary[A5], `evidence$49`: Show[A5], `evidence$50`: Arbitrary[A6], `evidence$51`: Show[A6], `evidence$52`: PropF[B], loc: SourceLocation): EffectType[Expectations]
def apply[A1, A2, A3, A4, A5, B](f: (A1, A2, A3, A4, A5) => B)(`evidence$29`: Arbitrary[A1], `evidence$30`: Show[A1], `evidence$31`: Arbitrary[A2], `evidence$32`: Show[A2], `evidence$33`: Arbitrary[A3], `evidence$34`: Show[A3], `evidence$35`: Arbitrary[A4], `evidence$36`: Show[A4], `evidence$37`: Arbitrary[A5], `evidence$38`: Show[A5], `evidence$39`: PropF[B], loc: SourceLocation): EffectType[Expectations]
def apply[A1, A2, A3, A4, B](f: (A1, A2, A3, A4) => B)(`evidence$20`: Arbitrary[A1], `evidence$21`: Show[A1], `evidence$22`: Arbitrary[A2], `evidence$23`: Show[A2], `evidence$24`: Arbitrary[A3], `evidence$25`: Show[A3], `evidence$26`: Arbitrary[A4], `evidence$27`: Show[A4], `evidence$28`: PropF[B], loc: SourceLocation): EffectType[Expectations]
def apply[A1, A2, A3, B](f: (A1, A2, A3) => B)(`evidence$13`: Arbitrary[A1], `evidence$14`: Show[A1], `evidence$15`: Arbitrary[A2], `evidence$16`: Show[A2], `evidence$17`: Arbitrary[A3], `evidence$18`: Show[A3], `evidence$19`: PropF[B], loc: SourceLocation): EffectType[Expectations]
def apply[A1, A2, B](f: (A1, A2) => B)(`evidence$8`: Arbitrary[A1], `evidence$9`: Show[A1], `evidence$10`: Arbitrary[A2], `evidence$11`: Show[A2], `evidence$12`: PropF[B], loc: SourceLocation): EffectType[Expectations]
def apply[A1, B](f: A1 => B)(`evidence$5`: Arbitrary[A1], `evidence$6`: Show[A1], `evidence$7`: PropF[B], loc: SourceLocation): EffectType[Expectations]