trait GenTemporalTests[F[_], E] extends GenSpawnTests[F, E] with ClockTests[F]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GenTemporalTests
  2. ClockTests
  3. GenSpawnTests
  4. UniqueTests
  5. MonadCancelTests
  6. MonadErrorTests
  7. MonadTests
  8. FlatMapTests
  9. ApplicativeErrorTests
  10. ApplicativeTests
  11. ApplyTests
  12. SemigroupalTests
  13. FunctorTests
  14. InvariantTests
  15. Laws
  16. AnyRef
  17. 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: GenTemporalLaws[F, E]
    Definition Classes
    GenTemporalTests → ClockTests → GenSpawnTests → UniqueTests → MonadCancelTests → 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[E], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[E], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqE: Eq[E], EqFEitherEU: Eq[F[Either[E, Unit]]], EqFEitherEA: Eq[F[Either[E, A]]], EqEitherTFEA: Eq[EitherT[F, E, 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 clock(implicit exec: (F[Boolean]) => Prop): RuleSet
    Definition Classes
    ClockTests
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  10. def emptyRuleSet: RuleSet
    Definition Classes
    Laws
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  14. 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
  15. 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
  16. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. 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
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. 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
  21. 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[E], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[E], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[E], EqFEitherEU: Eq[F[Either[E, Unit]]], EqFEitherEA: Eq[F[Either[E, A]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    MonadCancelTests
  22. 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[E], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[E], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqE: Eq[E], EqFEitherEU: Eq[F[Either[E, Unit]]], EqFEitherEA: Eq[F[Either[E, A]]], EqEitherTFEA: Eq[EitherT[F, E, A]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    MonadErrorTests
  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. 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
  27. 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[E], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[E], CogenOutcomeFEA: Cogen[kernel.Outcome[F, E, A]], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[E], EqFAB: Eq[F[Either[A, B]]], EqFEitherEU: Eq[F[Either[E, Unit]]], EqFEitherEA: Eq[F[Either[E, A]]], EqFEitherUA: Eq[F[Either[Unit, A]]], EqFEitherAU: Eq[F[Either[A, Unit]]], EqFOutcomeEA: Eq[F[kernel.Outcome[F, E, A]]], EqFOutcomeEU: Eq[F[kernel.Outcome[F, E, Unit]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F]): RuleSet
    Definition Classes
    GenSpawnTests
  28. 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
  29. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  30. 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[E], ArbFiniteDuration: Arbitrary[FiniteDuration], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[E], CogenOutcomeFEA: Cogen[kernel.Outcome[F, E, A]], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[E], EqFAB: Eq[F[Either[A, B]]], EqFEitherEU: Eq[F[Either[E, Unit]]], EqFEitherEA: Eq[F[Either[E, A]]], EqFEitherUA: Eq[F[Either[Unit, A]]], EqFEitherAU: Eq[F[Either[A, Unit]]], EqFOutcomeEA: Eq[F[kernel.Outcome[F, E, A]]], EqFOutcomeEU: Eq[F[kernel.Outcome[F, E, 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
  31. def toString(): String
    Definition Classes
    AnyRef → Any
  32. def unique(implicit exec: (F[Boolean]) => Prop): RuleSet
    Definition Classes
    UniqueTests
  33. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  34. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  35. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Deprecated Value Members

  1. 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[E], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[E], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[E], EqFEitherEU: Eq[F[Either[E, Unit]]], EqFEitherEA: Eq[F[Either[E, A]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F], faPP: (F[A]) => Pretty, fuPP: (F[Unit]) => Pretty, ePP: (E) => Pretty): RuleSet
    Attributes
    protected
    Definition Classes
    MonadCancelTests
    Annotations
    @deprecated
    Deprecated

    (Since version 3.2.0) revised several constraints

  2. 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[E], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[E], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[E], EqFAB: Eq[F[Either[A, B]]], EqFEitherEU: Eq[F[Either[E, Unit]]], EqFEitherEA: Eq[F[Either[E, A]]], EqFEitherUA: Eq[F[Either[Unit, A]]], EqFEitherAU: Eq[F[Either[A, Unit]]], EqFOutcomeEA: Eq[F[kernel.Outcome[F, E, A]]], EqFOutcomeEU: Eq[F[kernel.Outcome[F, E, Unit]]], EqFABC: Eq[F[(A, B, C)]], EqFInt: Eq[F[Int]], iso: Isomorphisms[F], faPP: (F[A]) => Pretty, fuPP: (F[Unit]) => Pretty, ePP: (E) => Pretty, foaPP: (F[kernel.Outcome[F, E, A]]) => Pretty, feauPP: (F[Either[A, Unit]]) => Pretty, feuaPP: (F[Either[Unit, A]]) => Pretty, fouPP: (F[kernel.Outcome[F, E, Unit]]) => Pretty): RuleSet
    Attributes
    protected
    Definition Classes
    GenSpawnTests
    Annotations
    @deprecated
    Deprecated

    (Since version 3.2.0) revised several constraints

  3. 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[E], ArbFiniteDuration: Arbitrary[FiniteDuration], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenE: Cogen[E], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFU: Eq[F[Unit]], EqE: Eq[E], EqFAB: Eq[F[Either[A, B]]], EqFEitherEU: Eq[F[Either[E, Unit]]], EqFEitherEA: Eq[F[Either[E, A]]], EqFEitherUA: Eq[F[Either[Unit, A]]], EqFEitherAU: Eq[F[Either[A, Unit]]], EqFOutcomeEA: Eq[F[kernel.Outcome[F, E, A]]], EqFOutcomeEU: Eq[F[kernel.Outcome[F, E, 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: (E) => Pretty, foaPP: (F[kernel.Outcome[F, E, A]]) => Pretty, feauPP: (F[Either[A, Unit]]) => Pretty, feuaPP: (F[Either[Unit, A]]) => Pretty, fouPP: (F[kernel.Outcome[F, E, Unit]]) => Pretty): RuleSet
    Attributes
    protected
    Annotations
    @deprecated
    Deprecated

    (Since version 3.2.0) revised several constraints

Inherited from ClockTests[F]

Inherited from GenSpawnTests[F, E]

Inherited from UniqueTests[F]

Inherited from MonadCancelTests[F, E]

Inherited from MonadErrorTests[F, E]

Inherited from MonadTests[F]

Inherited from FlatMapTests[F]

Inherited from ApplicativeErrorTests[F, E]

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