trait AsyncTests[F[_]] extends GenTemporalTests[F, Throwable] with SyncTests[F]

Source
AsyncTests.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AsyncTests
  2. SyncTests
  3. GenTemporalTests
  4. ClockTests
  5. GenSpawnTests
  6. UniqueTests
  7. MonadCancelTests
  8. MonadErrorTests
  9. MonadTests
  10. FlatMapTests
  11. ApplicativeErrorTests
  12. ApplicativeTests
  13. ApplyTests
  14. SemigroupalTests
  15. FunctorTests
  16. InvariantTests
  17. Laws
  18. AnyRef
  19. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. class DefaultRuleSet extends RuleSet with HasOneParent
    Definition Classes
    Laws
  2. trait HasOneParent extends AnyRef
    Definition Classes
    Laws
  3. trait RuleSet extends AnyRef
    Definition Classes
    Laws
  4. class SimpleRuleSet extends DefaultRuleSet
    Definition Classes
    Laws

Abstract Value Members

  1. abstract val laws: AsyncLaws[F]
    Definition Classes
    AsyncTestsSyncTestsGenTemporalTestsClockTestsGenSpawnTestsUniqueTestsMonadCancelTests → MonadErrorTests → MonadTests → FlatMapTests → ApplicativeErrorTests → ApplicativeTests → ApplyTests → SemigroupalTests → FunctorTests → InvariantTests

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def applicative[A, B, C](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFABC: Eq[F[(A, B, C)]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    ApplicativeTests
  5. def applicativeError[A, B, C](implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqE: Eq[Throwable], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqEitherTFEA: Eq[EitherT[F, Throwable, A]], EqFABC: Eq[F[(A, B, C)]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    ApplicativeErrorTests
  6. def apply[A, B, C](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], EqFA: Eq[F[A]], EqFC: Eq[F[C]], EqFABC: Eq[F[(A, B, C)]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    ApplyTests
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def async[A, B, C](tolerance: FiniteDuration)(implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], ArbST: Arbitrary[Type], ArbFiniteDuration: Arbitrary[FiniteDuration], ArbExecutionContext: Arbitrary[ExecutionContext], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], CogenOutcomeFEA: Cogen[kernel.Outcome[F, Throwable, A]], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[Throwable], EqFEC: Eq[F[ExecutionContext]], EqFAB: Eq[F[Either[A, B]]], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqFEitherUA: Eq[F[Either[Unit, A]]], EqFEitherAU: Eq[F[Either[A, Unit]]], EqFOutcomeEA: Eq[F[kernel.Outcome[F, Throwable, A]]], EqFOutcomeEU: Eq[F[kernel.Outcome[F, Throwable, Unit]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], OrdFFD: Order[F[FiniteDuration]], GroupFD: Group[FiniteDuration], exec: (F[Boolean]) => Prop, iso: Isomorphisms[F]): RuleSet
  9. def clock(implicit exec: (F[Boolean]) => Prop): RuleSet
    Definition Classes
    ClockTests
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  11. def emptyRuleSet: RuleSet
    Definition Classes
    Laws
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  15. def flatMap[A, B, C](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFABC: Eq[F[(A, B, C)]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    FlatMapTests
  16. def functor[A, B, C](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], ArbFA: Arbitrary[F[A]], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], EqFA: Eq[F[A]], EqFC: Eq[F[C]]): RuleSet
    Definition Classes
    FunctorTests
  17. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. def invariant[A, B, C](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], ArbFA: Arbitrary[F[A]], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], EqFA: Eq[F[A]], EqFC: Eq[F[C]]): RuleSet
    Definition Classes
    InvariantTests
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. def monad[A, B, C](implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    MonadTests
  22. def monadCancel[A, B, C](implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[Throwable], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    MonadCancelTests
  23. def monadError[A, B, C](implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqE: Eq[Throwable], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqEitherTFEA: Eq[EitherT[F, Throwable, A]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    MonadErrorTests
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. def semigroupal[A, B, C](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], iso: Isomorphisms[F], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], EqFA: Eq[F[A]], EqFABC: Eq[F[(A, B, C)]]): RuleSet
    Definition Classes
    SemigroupalTests
  28. def spawn[A, B, C](implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], CogenOutcomeFEA: Cogen[kernel.Outcome[F, Throwable, A]], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[Throwable], EqFAB: Eq[F[Either[A, B]]], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqFEitherUA: Eq[F[Either[Unit, A]]], EqFEitherAU: Eq[F[Either[A, Unit]]], EqFOutcomeEA: Eq[F[kernel.Outcome[F, Throwable, A]]], EqFOutcomeEU: Eq[F[kernel.Outcome[F, Throwable, Unit]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    GenSpawnTests
  29. def stackUnsafeMonad[A, B, C](implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    MonadTests
  30. def sync[A, B, C](implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], ArbST: Arbitrary[Type], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[Throwable], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], exec: (F[Boolean]) => Prop, iso: Isomorphisms[F]): RuleSet
    Definition Classes
    SyncTests
  31. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  32. def temporal[A, B, C](tolerance: FiniteDuration)(implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], ArbFiniteDuration: Arbitrary[FiniteDuration], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], CogenOutcomeFEA: Cogen[kernel.Outcome[F, Throwable, A]], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[Throwable], EqFAB: Eq[F[Either[A, B]]], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqFEitherUA: Eq[F[Either[Unit, A]]], EqFEitherAU: Eq[F[Either[A, Unit]]], EqFOutcomeEA: Eq[F[kernel.Outcome[F, Throwable, A]]], EqFOutcomeEU: Eq[F[kernel.Outcome[F, Throwable, Unit]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], OrdFFD: Order[F[FiniteDuration]], GroupFD: Group[FiniteDuration], exec: (F[Boolean]) => Prop, iso: Isomorphisms[F]): RuleSet
    Definition Classes
    GenTemporalTests
  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. def unique(implicit exec: (F[Boolean]) => Prop): RuleSet
    Definition Classes
    UniqueTests
  35. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  36. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  37. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Deprecated Value Members

  1. def async[A, B, C](implicit tolerance: FiniteDuration, AA: Arbitrary[A], AE: Eq[A], BA: Arbitrary[B], BE: Eq[B], CA: Arbitrary[C], CE: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], ArbST: Arbitrary[Type], ArbFiniteDuration: Arbitrary[FiniteDuration], ArbExecutionContext: Arbitrary[ExecutionContext], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[Throwable], EqFEC: Eq[F[ExecutionContext]], EqFAB: Eq[F[Either[A, B]]], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqFEitherUA: Eq[F[Either[Unit, A]]], EqFEitherAU: Eq[F[Either[A, Unit]]], EqFOutcomeEA: Eq[F[kernel.Outcome[F, Throwable, A]]], EqFOutcomeEU: Eq[F[kernel.Outcome[F, Throwable, Unit]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], OrdFFD: Order[F[FiniteDuration]], GroupFD: Group[FiniteDuration], exec: (F[Boolean]) => Prop, iso: Isomorphisms[F], faPP: (F[A]) => Pretty, fuPP: (F[Unit]) => Pretty, ePP: (Throwable) => Pretty, foaPP: (F[kernel.Outcome[F, Throwable, A]]) => Pretty, feauPP: (F[Either[A, Unit]]) => Pretty, feuaPP: (F[Either[Unit, A]]) => Pretty, fouPP: (F[kernel.Outcome[F, Throwable, Unit]]) => Pretty): RuleSet
    Attributes
    protected
    Annotations
    @deprecated
    Deprecated

    (Since version 3.2.0) revised several constraints

  2. def monadCancel[A, B, C](implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[Throwable], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F], faPP: (F[A]) => Pretty, fuPP: (F[Unit]) => Pretty, ePP: (Throwable) => Pretty): RuleSet
    Attributes
    protected
    Definition Classes
    MonadCancelTests
    Annotations
    @deprecated
    Deprecated

    (Since version 3.2.0) revised several constraints

  3. def spawn[A, B, C](implicit arg0: Arbitrary[A], arg1: Eq[A], arg2: Arbitrary[B], arg3: Eq[B], arg4: Arbitrary[C], arg5: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[Throwable], EqFAB: Eq[F[Either[A, B]]], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqFEitherUA: Eq[F[Either[Unit, A]]], EqFEitherAU: Eq[F[Either[A, Unit]]], EqFOutcomeEA: Eq[F[kernel.Outcome[F, Throwable, A]]], EqFOutcomeEU: Eq[F[kernel.Outcome[F, Throwable, Unit]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F], faPP: (F[A]) => Pretty, fuPP: (F[Unit]) => Pretty, ePP: (Throwable) => Pretty, foaPP: (F[kernel.Outcome[F, Throwable, A]]) => Pretty, feauPP: (F[Either[A, Unit]]) => Pretty, feuaPP: (F[Either[Unit, A]]) => Pretty, fouPP: (F[kernel.Outcome[F, Throwable, Unit]]) => Pretty): RuleSet
    Attributes
    protected
    Definition Classes
    GenSpawnTests
    Annotations
    @deprecated
    Deprecated

    (Since version 3.2.0) revised several constraints

  4. def temporal[A, B, C](implicit tolerance: FiniteDuration, AA: Arbitrary[A], AE: Eq[A], BA: Arbitrary[B], BE: Eq[B], CA: Arbitrary[C], CE: Eq[C], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFU: Arbitrary[F[Unit]], ArbFAtoB: Arbitrary[F[(A) => B]], ArbFBtoC: Arbitrary[F[(B) => C]], ArbE: Arbitrary[Throwable], ArbFiniteDuration: Arbitrary[FiniteDuration], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[Throwable], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[Throwable], EqFAB: Eq[F[Either[A, B]]], EqFEitherEU: Eq[F[Either[Throwable, Unit]]], EqFEitherEA: Eq[F[Either[Throwable, A]]], EqFEitherUA: Eq[F[Either[Unit, A]]], EqFEitherAU: Eq[F[Either[A, Unit]]], EqFOutcomeEA: Eq[F[kernel.Outcome[F, Throwable, A]]], EqFOutcomeEU: Eq[F[kernel.Outcome[F, Throwable, Unit]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], OrdFFD: Order[F[FiniteDuration]], GroupFD: Group[FiniteDuration], exec: (F[Boolean]) => Prop, iso: Isomorphisms[F], faPP: (F[A]) => Pretty, fuPP: (F[Unit]) => Pretty, ePP: (Throwable) => Pretty, foaPP: (F[kernel.Outcome[F, Throwable, A]]) => Pretty, feauPP: (F[Either[A, Unit]]) => Pretty, feuaPP: (F[Either[Unit, A]]) => Pretty, fouPP: (F[kernel.Outcome[F, Throwable, Unit]]) => Pretty): RuleSet
    Attributes
    protected
    Definition Classes
    GenTemporalTests
    Annotations
    @deprecated
    Deprecated

    (Since version 3.2.0) revised several constraints

Inherited from SyncTests[F]

Inherited from GenTemporalTests[F, Throwable]

Inherited from ClockTests[F]

Inherited from GenSpawnTests[F, Throwable]

Inherited from UniqueTests[F]

Inherited from MonadCancelTests[F, Throwable]

Inherited from MonadErrorTests[F, Throwable]

Inherited from MonadTests[F]

Inherited from FlatMapTests[F]

Inherited from ApplicativeErrorTests[F, Throwable]

Inherited from ApplicativeTests[F]

Inherited from ApplyTests[F]

Inherited from SemigroupalTests[F]

Inherited from FunctorTests[F]

Inherited from InvariantTests[F]

Inherited from Laws

Inherited from AnyRef

Inherited from Any

Ungrouped