laws

mtl ApplicativeAskTests ApplicativeLayerFunctorTests ApplicativeLayerTests ApplicativeLocalTests FunctorEmptyTests FunctorLayerFunctorTests FunctorLayerTests FunctorListenTests FunctorTellTests MonadLayerControlTests MonadLayerFunctorTests MonadLayerTests MonadStateTests TraverseEmptyTests

layerControlIdentity

MonadLayerControlLaws

layerMapRespectsLayerControl

MonadLayerControlLaws

layerMapRespectsLayerImapK

FunctorLayerFunctorLaws

layerRespectsAp

ApplicativeLayerLaws

layerRespectsFlatMap

MonadLayerLaws

layerRespectsPure

ApplicativeLayerLaws

listenAddsNoEffects

FunctorListenLaws

listenInstance

FunctorListenLaws FunctorListenTests

listenRespectsTell

FunctorListenLaws

listensIsListenThenMap

FunctorListenLaws

localDistributesOverAp

ApplicativeLocalLaws

localInstance

ApplicativeLocalLaws ApplicativeLocalTests

localPureIsPure

ApplicativeLocalLaws