PropF
object PropF
- Companion
- class
class Object
trait Matchable
class Any
Type members
Value members
Methods
def forAllNoShrinkF[F <: ([_$17] =>> Any), T1, P](g1: Gen[T1])(f: T1 => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$18] =>> Any), T1, P](f: T1 => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$19] =>> Any), T1, T2, P](g1: Gen[T1], g2: Gen[T2])(f: (T1, T2) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$21] =>> Any), T1, T2, P](f: (T1, T2) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$22] =>> Any), T1, T2, T3, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3])(f: (T1, T2, T3) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$25] =>> Any), T1, T2, T3, P](f: (T1, T2, T3) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$26] =>> Any), T1, T2, T3, T4, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4])(f: (T1, T2, T3, T4) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty, pp4: T4 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$30] =>> Any), T1, T2, T3, T4, P](f: (T1, T2, T3, T4) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], pp4: T4 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$31] =>> Any), T1, T2, T3, T4, T5, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5])(f: (T1, T2, T3, T4, T5) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty, pp4: T4 => Pretty, pp5: T5 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$36] =>> Any), T1, T2, T3, T4, T5, P](f: (T1, T2, T3, T4, T5) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], pp5: T5 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$37] =>> Any), T1, T2, T3, T4, T5, T6, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6])(f: (T1, T2, T3, T4, T5, T6) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty, pp4: T4 => Pretty, pp5: T5 => Pretty, pp6: T6 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$43] =>> Any), T1, T2, T3, T4, T5, T6, P](f: (T1, T2, T3, T4, T5, T6) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], pp6: T6 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$44] =>> Any), T1, T2, T3, T4, T5, T6, T7, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7])(f: (T1, T2, T3, T4, T5, T6, T7) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty, pp4: T4 => Pretty, pp5: T5 => Pretty, pp6: T6 => Pretty, pp7: T7 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$51] =>> Any), T1, T2, T3, T4, T5, T6, T7, P](f: (T1, T2, T3, T4, T5, T6, T7) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], pp6: T6 => Pretty, a7: Arbitrary[T7], pp7: T7 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$52] =>> Any), T1, T2, T3, T4, T5, T6, T7, T8, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7], g8: Gen[T8])(f: (T1, T2, T3, T4, T5, T6, T7, T8) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty, pp4: T4 => Pretty, pp5: T5 => Pretty, pp6: T6 => Pretty, pp7: T7 => Pretty, pp8: T8 => Pretty): PropF[F]
def forAllNoShrinkF[F <: ([_$60] =>> Any), T1, T2, T3, T4, T5, T6, T7, T8, P](f: (T1, T2, T3, T4, T5, T6, T7, T8) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], pp6: T6 => Pretty, a7: Arbitrary[T7], pp7: T7 => Pretty, a8: Arbitrary[T8], pp8: T8 => Pretty): PropF[F]
def forAllShrinkF[F <: ([_$61] =>> Any), T, P](gen: Gen[T], shrink: T => Stream[T])(f: T => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], pp: T => Pretty): PropF[F]
def forAllF[F <: ([_$62] =>> Any), T1, P](g1: Gen[T1])(f: T1 => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty): PropF[F]
def forAllF[F <: ([_$63] =>> Any), T1, T2, P](g1: Gen[T1], g2: Gen[T2])(f: (T1, T2) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty): PropF[F]
def forAllF[F <: ([_$65] =>> Any), T1, T2, T3, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3])(f: (T1, T2, T3) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty): PropF[F]
def forAllF[F <: ([_$68] =>> Any), T1, T2, T3, T4, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4])(f: (T1, T2, T3, T4) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty, s4: Shrink[T4], pp4: T4 => Pretty): PropF[F]
def forAllF[F <: ([_$72] =>> Any), T1, T2, T3, T4, T5, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5])(f: (T1, T2, T3, T4, T5) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty, s4: Shrink[T4], pp4: T4 => Pretty, s5: Shrink[T5], pp5: T5 => Pretty): PropF[F]
def forAllF[F <: ([_$77] =>> Any), T1, T2, T3, T4, T5, T6, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6])(f: (T1, T2, T3, T4, T5, T6) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty, s4: Shrink[T4], pp4: T4 => Pretty, s5: Shrink[T5], pp5: T5 => Pretty, s6: Shrink[T6], pp6: T6 => Pretty): PropF[F]
def forAllF[F <: ([_$83] =>> Any), T1, T2, T3, T4, T5, T6, T7, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7])(f: (T1, T2, T3, T4, T5, T6, T7) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty, s4: Shrink[T4], pp4: T4 => Pretty, s5: Shrink[T5], pp5: T5 => Pretty, s6: Shrink[T6], pp6: T6 => Pretty, s7: Shrink[T7], pp7: T7 => Pretty): PropF[F]
def forAllF[F <: ([_$90] =>> Any), T1, T2, T3, T4, T5, T6, T7, T8, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7], g8: Gen[T8])(f: (T1, T2, T3, T4, T5, T6, T7, T8) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty, s4: Shrink[T4], pp4: T4 => Pretty, s5: Shrink[T5], pp5: T5 => Pretty, s6: Shrink[T6], pp6: T6 => Pretty, s7: Shrink[T7], pp7: T7 => Pretty, s8: Shrink[T8], pp8: T8 => Pretty): PropF[F]
def forAllF[F <: ([_$98] =>> Any), T1, P](f: T1 => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty): PropF[F]
def forAllF[F <: ([_$99] =>> Any), T1, T2, P](f: (T1, T2) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty): PropF[F]
def forAllF[F <: ([_$101] =>> Any), T1, T2, T3, P](f: (T1, T2, T3) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty): PropF[F]
def forAllF[F <: ([_$104] =>> Any), T1, T2, T3, T4, P](f: (T1, T2, T3, T4) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], s4: Shrink[T4], pp4: T4 => Pretty): PropF[F]
def forAllF[F <: ([_$108] =>> Any), T1, T2, T3, T4, T5, P](f: (T1, T2, T3, T4, T5) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], s4: Shrink[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], s5: Shrink[T5], pp5: T5 => Pretty): PropF[F]
def forAllF[F <: ([_$113] =>> Any), T1, T2, T3, T4, T5, T6, P](f: (T1, T2, T3, T4, T5, T6) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], s4: Shrink[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], s5: Shrink[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], s6: Shrink[T6], pp6: T6 => Pretty): PropF[F]
def forAllF[F <: ([_$119] =>> Any), T1, T2, T3, T4, T5, T6, T7, P](f: (T1, T2, T3, T4, T5, T6, T7) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], s4: Shrink[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], s5: Shrink[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], s6: Shrink[T6], pp6: T6 => Pretty, a7: Arbitrary[T7], s7: Shrink[T7], pp7: T7 => Pretty): PropF[F]
def forAllF[F <: ([_$126] =>> Any), T1, T2, T3, T4, T5, T6, T7, T8, P](f: (T1, T2, T3, T4, T5, T6, T7, T8) => P)(toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], s4: Shrink[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], s5: Shrink[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], s6: Shrink[T6], pp6: T6 => Pretty, a7: Arbitrary[T7], s7: Shrink[T7], pp7: T7 => Pretty, a8: Arbitrary[T8], s8: Shrink[T8], pp8: T8 => Pretty): PropF[F]