trait MonadCancelTests[F[_], E] extends MonadErrorTests[F, E]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MonadCancelTests
  2. MonadErrorTests
  3. MonadTests
  4. FlatMapTests
  5. ApplicativeErrorTests
  6. ApplicativeTests
  7. ApplyTests
  8. SemigroupalTests
  9. FunctorTests
  10. InvariantTests
  11. Laws
  12. AnyRef
  13. 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: MonadCancelLaws[F, E]
    Definition Classes
    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 clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  9. def emptyRuleSet: RuleSet
    Definition Classes
    Laws
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  13. 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
  14. 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
  15. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. 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
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. 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
  20. 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
  21. 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
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. 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
  26. 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
  27. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  28. def toString(): String
    Definition Classes
    AnyRef → Any
  29. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  31. 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
    Annotations
    @deprecated
    Deprecated

    (Since version 3.2.0) revised several constraints

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