Package

cats.laws

discipline

Permalink

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
Visibility
  1. Public
  2. All

Type Members

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  9. trait BitraverseTests[F[_, _]] extends BifoldableTests[F] with BifunctorTests[F]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  13. trait CoflatMapTests[F[_]] extends Laws with FunctorTests[F]

    Permalink

  14. trait CommutativeArrowTests[F[_, _]] extends ArrowTests[F]

    Permalink

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

    Permalink

  16. trait CommutativeMonadTests[F[_]] extends MonadTests[F] with CommutativeFlatMapTests[F]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  23. trait InjectKTests[F[_], G[_]] extends Laws

    Permalink

  24. trait InjectTests[A, B] extends Laws

    Permalink

  25. trait InvariantMonoidalTests[F[_]] extends InvariantTests[F] with CartesianTests[F]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  30. trait NonEmptyTraverseTests[F[_]] extends TraverseTests[F] with ReducibleTests[F]

    Permalink

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

    Permalink

  32. trait ReducibleTests[F[_]] extends FoldableTests[F]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

Value Members

  1. object AlternativeTests

    Permalink

  2. object ApplicativeErrorTests

    Permalink

  3. object ApplicativeTests

    Permalink

  4. object ApplyTests

    Permalink

  5. object ArrowTests

    Permalink

  6. object BifoldableTests

    Permalink

  7. object BifunctorTests

    Permalink

  8. object BimonadTests

    Permalink

  9. object BitraverseTests

    Permalink

  10. object CartesianTests

    Permalink

  11. object CategoryTests

    Permalink

  12. object ChoiceTests

    Permalink

  13. object CoflatMapTests

    Permalink

  14. object CommutativeArrowTests

    Permalink

  15. object CommutativeFlatMapTests

    Permalink

  16. object CommutativeMonadTests

    Permalink

  17. object ComonadTests

    Permalink

  18. object ComposeTests

    Permalink

  19. object ContravariantTests

    Permalink

  20. object FlatMapTests

    Permalink

  21. object FoldableTests

    Permalink

  22. object FunctorTests

    Permalink

  23. object InjectKTests

    Permalink

  24. object InjectTests

    Permalink

  25. object InvariantMonoidalTests

    Permalink

  26. object InvariantTests

    Permalink

  27. object MonadErrorTests

    Permalink

  28. object MonadTests

    Permalink

  29. object MonoidKTests

    Permalink

  30. object NonEmptyTraverseTests

    Permalink

  31. object ProfunctorTests

    Permalink

  32. object ReducibleTests

    Permalink

  33. object SemigroupKTests

    Permalink

  34. object SerializableTests extends Laws

    Permalink

  35. object StrongTests

    Permalink

  36. object TraverseTests

    Permalink

  37. object arbitrary extends ArbitraryInstances0

    Permalink

    Arbitrary instances for cats.data

  38. implicit def catsLawsIsEqToProp[A](isEq: IsEq[A])(implicit arg0: Eq[A]): Prop

    Permalink

  39. object eq

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped