scalacheck/weaver.scalacheck/IOCheckers

IOCheckers

trait IOCheckers extends Checkers[[A] =>> IO[A]]
trait Checkers[[A] =>> IO[A]]
class Object
trait Matchable
class Any

Type members

Inherited types

type PropF[A] = Prop[F, A]
Inhertied from
Checkers

Value members

Inherited methods

def checkConfig: CheckConfig
Inhertied from
Checkers
def forall[A](gen: Gen[A])(f: A => F[Expectations])(evidence$50: Show[A], loc: SourceLocation): F[Expectations]
Inhertied from
Checkers
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): F[Expectations]
Inhertied from
Checkers
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): F[Expectations]
Inhertied from
Checkers
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): F[Expectations]
Inhertied from
Checkers
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): F[Expectations]
Inhertied from
Checkers
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): F[Expectations]
Inhertied from
Checkers
def forall[A1, B](f: A1 => B)(evidence$2: Arbitrary[A1], evidence$3: Show[A1], evidence$4: PropF[B], loc: SourceLocation): F[Expectations]
Inhertied from
Checkers
def startSeed(params: Parameters): (Parameters, Seed)
Inhertied from
Checkers

Inherited fields

val numbers: Stream[[x] =>> Pure[x], Int]
ScalaCheck test parameters instance.
Inhertied from
Checkers