cats.laws

discipline

package discipline

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. discipline
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait AlternativeTests[F[_]] extends ApplicativeTests[F] with MonoidKTests[F]

  2. trait ApplicativeErrorTests[F[_], E] extends ApplicativeTests[F]

  3. trait ApplicativeTests[F[_]] extends ApplyTests[F]

  4. trait ApplyTests[F[_]] extends FunctorTests[F] with CartesianTests[F]

  5. trait ArrowTests[F[_, _]] extends CategoryTests[F] with SplitTests[F] with StrongTests[F]

  6. trait BifunctorTests[F[_, _]] extends Laws

  7. trait BimonadTests[F[_]] extends MonadTests[F] with ComonadTests[F]

  8. trait CartesianTests[F[_]] extends Laws

  9. trait CategoryTests[F[_, _]] extends ComposeTests[F]

  10. trait ChoiceTests[F[_, _]] extends CategoryTests[F]

  11. trait CoflatMapTests[F[_]] extends Laws

  12. trait ComonadTests[F[_]] extends CoflatMapTests[F]

  13. trait ComposeTests[F[_, _]] extends Laws

  14. trait ContravariantTests[F[_]] extends InvariantTests[F]

  15. trait FlatMapTests[F[_]] extends ApplyTests[F]

  16. trait FoldableTests[F[_]] extends Laws

  17. trait FunctorTests[F[_]] extends InvariantTests[F]

  18. trait InvariantTests[F[_]] extends Laws

  19. trait MonadCombineTests[F[_]] extends MonadFilterTests[F] with AlternativeTests[F]

  20. trait MonadErrorTests[F[_], E] extends ApplicativeErrorTests[F, E] with MonadTests[F]

  21. trait MonadFilterTests[F[_]] extends MonadTests[F]

  22. trait MonadReaderTests[F[_], R] extends MonadTests[F]

  23. trait MonadStateTests[F[_], S] extends MonadTests[F]

  24. trait MonadTests[F[_]] extends ApplicativeTests[F] with FlatMapTests[F]

  25. trait MonoidKTests[F[_]] extends SemigroupKTests[F]

  26. trait ProfunctorTests[F[_, _]] extends Laws

  27. trait SemigroupKTests[F[_]] extends Laws

  28. trait SplitTests[F[_, _]] extends ComposeTests[F]

  29. trait StrongTests[F[_, _]] extends ProfunctorTests[F]

  30. trait TraverseTests[F[_]] extends FunctorTests[F] with FoldableTests[F]

Value Members

  1. object AlternativeTests

  2. object ApplicativeErrorTests

  3. object ApplicativeTests

  4. object ApplyTests

  5. object ArrowTests

  6. object BifunctorTests

  7. object BimonadTests

  8. object CartesianTests

  9. object CategoryTests

  10. object ChoiceTests

  11. object CoflatMapTests

  12. object ComonadTests

  13. object ComposeTests

  14. object ContravariantTests

  15. object FlatMapTests

  16. object FoldableTests

  17. object FunctorTests

  18. object InvariantTests

  19. object MonadCombineTests

  20. object MonadErrorTests

  21. object MonadFilterTests

  22. object MonadReaderTests

  23. object MonadStateTests

  24. object MonadTests

  25. object MonoidKTests

  26. object ProfunctorTests

  27. object SemigroupKTests

  28. object SerializableTests extends Laws

  29. object SplitTests

  30. object StrongTests

  31. object TraverseTests

  32. object arbitrary extends ArbitraryInstances0

    Arbitrary instances for cats.

  33. object eq

  34. implicit def isEqToProp[A](isEq: IsEq[A])(implicit arg0: Eq[A]): Prop

Inherited from AnyRef

Inherited from Any

Ungrouped