discipline

Type Members

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

   

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

   

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

   

4. trait ArbitraryK[F[_]] extends AnyRef

   

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

   

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

   

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

   

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

   

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

   

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

    

11. trait EqK[F[_]] extends AnyRef

    

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

    

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

    

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

    

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

    

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

    

17. trait MonadErrorTests[F[_, _], E] extends MonadTests[[β]F[E, β]]

    

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

    

19. trait MonadReaderTests[F[_, _], R] extends MonadTests[[β]F[R, β]]

    

20. trait MonadStateTests[F[_, _], S] extends MonadTests[[β]F[S, β]]

    

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

    

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

    

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

    

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

    

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

    

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

    

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