discipline

Type Members

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

   

2. trait ApplicativeCensorTests[F[_], L] extends FunctorListenTests[F, L]

   

3. trait ApplicativeHandleTests[F[_], E] extends FunctorRaiseTests[F, E]

   

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

   

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

   

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

   

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

   

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

   

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

   

10. trait FunctorRaiseTests[F[_], E] extends Laws

    

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

    

12. trait MonadChronicleTests[F[_], E] extends Laws

    

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

    

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

    

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

    

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