discipline

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 SemigroupalTests[F]

   

5. trait ArrowChoiceTests[F[_, _]] extends ArrowTests[F] with ChoiceTests[F]

   

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

   

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

   

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

   

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

   

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

    

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

    

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

    

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

    

14. trait CommutativeApplicativeTests[F[_]] extends CommutativeApplyTests[F] with ApplicativeTests[F]

    

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

    

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

    

17. trait CommutativeFlatMapTests[F[_]] extends FlatMapTests[F] with CommutativeApplyTests[F]

    

18. trait CommutativeMonadTests[F[_]] extends MonadTests[F] with CommutativeFlatMapTests[F] with CommutativeApplicativeTests[F]

    

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

    

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

    

21. trait ContravariantMonoidalTests[F[_]] extends ContravariantSemigroupalTests[F]

    

22. trait ContravariantSemigroupalTests[F[_]] extends ContravariantTests[F] with SemigroupalTests[F]

    

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

    

24. trait DeferTests[F[_]] extends Laws

    

25. trait DistributiveTests[F[_]] extends FunctorTests[F]

    

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

    

27. trait FoldableTests[F[_]] extends UnorderedFoldableTests[F]

    

28. trait FunctorFilterTests[F[_]] extends Laws

    

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

    

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

    

31. trait InjectTests[A, B] extends Laws

    

32. trait InvariantMonoidalTests[F[_]] extends InvariantSemigroupalTests[F]

    

33. trait InvariantSemigroupalTests[F[_]] extends InvariantTests[F] with SemigroupalTests[F]

    

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

    

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

    

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

    

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

    

38. trait NonEmptyParallelTests[M[_], F[_]] extends Laws

    

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

    

40. trait ParallelTests[M[_], F[_]] extends NonEmptyParallelTests[M, F]

    

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

    

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

    

43. trait RepresentableTests[F[_], R] extends Laws

    

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

    

45. trait SemigroupalTests[F[_]] extends Laws

    

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

    

47. trait TraverseFilterTests[F[_]] extends FunctorFilterTests[F]

    

48. trait TraverseTests[F[_]] extends FunctorTests[F] with FoldableTests[F] with UnorderedTraverseTests[F]

    

49. trait UnorderedFoldableTests[F[_]] extends Laws

    

50. trait UnorderedTraverseTests[F[_]] extends UnorderedFoldableTests[F]