discipline

Type Members

1. trait ApplicativeAskTests[F[_], E] extends Laws

   

2. trait ApplicativeLayerFunctorTests[M[_], Inner[_]] extends ApplicativeLayerTests[M, Inner] with FunctorLayerFunctorTests[M, Inner]

   

3. trait ApplicativeLayerTests[M[_], Inner[_]] extends FunctorLayerTests[M, Inner]

   

4. trait ApplicativeLocalTests[F[_], E] extends ApplicativeAskTests[F, E]

   

5. trait FunctorEmptyTests[F[_]] extends Laws

   

6. trait FunctorLayerFunctorTests[M[_], Inner[_]] extends FunctorLayerTests[M, Inner]

   

7. trait FunctorLayerTests[M[_], Inner[_]] extends Laws

   

8. trait FunctorListenTests[F[_], L] extends FunctorTellTests[F, L]

   

9. trait FunctorTellTests[F[_], L] extends Laws

   

10. trait MonadLayerControlTests[M[_], Inner[_], State[_]] extends MonadLayerFunctorTests[M, Inner]

    

11. trait MonadLayerFunctorTests[M[_], Inner[_]] extends MonadLayerTests[M, Inner] with ApplicativeLayerFunctorTests[M, Inner]

    

12. trait MonadLayerTests[M[_], Inner[_]] extends ApplicativeLayerTests[M, Inner]

    

13. trait MonadStateTests[F[_], S] extends Laws

    

14. trait TraverseEmptyTests[F[_]] extends FunctorEmptyTests[F]