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 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]