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

   

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

   

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

   

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

   

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

   

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

   

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

    

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 ComonadTests[F[_]] extends CoflatMapTests[F]

    

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

    

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

    

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

    

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

    

19. trait FunctorFilterTests[F[_]] extends FunctorTests[F]

    

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

    

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

    

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

    

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

    

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

    

25. trait MonadFilterTests[F[_]] extends MonadTests[F] with FunctorFilterTests[F]

    

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

    

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

    

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

    

29. trait MonadWriterTests[F[_], W] extends MonadTests[F]

    

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

    

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

    

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

    

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

    

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

    

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

    

36. trait TraverseFilterTests[F[_]] extends TraverseTests[F] with FunctorFilterTests[F]

    

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