laws

Type Members

1. trait ApplicativeAskLaws[F[_], E] extends AnyRef

   

2. trait ApplicativeLayerFunctorLaws[M[_], Inner[_]] extends ApplicativeLayerLaws[M, Inner] with FunctorLayerFunctorLaws[M, Inner]

   

3. trait ApplicativeLayerLaws[M[_], Inner[_]] extends FunctorLayerLaws[M, Inner]

   

4. trait ApplicativeLocalLaws[F[_], E] extends ApplicativeAskLaws[F, E]

   

5. trait FunctorEmptyLaws[F[_]] extends AnyRef

   

6. trait FunctorLayerFunctorLaws[M[_], Inner[_]] extends FunctorLayerLaws[M, Inner]

   

7. trait FunctorLayerLaws[M[_], Inner[_]] extends AnyRef

   

8. trait FunctorListenLaws[F[_], L] extends FunctorTellLaws[F, L]

   

9. trait FunctorTellLaws[F[_], L] extends AnyRef

   

10. trait MonadLayerControlLaws[M[_], Inner[_], State0[_]] extends MonadLayerFunctorLaws[M, Inner]

    

11. trait MonadLayerFunctorLaws[M[_], Inner[_]] extends MonadLayerLaws[M, Inner] with ApplicativeLayerFunctorLaws[M, Inner]

    

12. trait MonadLayerLaws[M[_], Inner[_]] extends ApplicativeLayerLaws[M, Inner]

    

13. trait MonadStateLaws[F[_], S] extends AnyRef

    

14. trait TraverseEmptyLaws[F[_]] extends FunctorEmptyLaws[F]