MonadLayerControlLaws

laws

MonadLayerControlTests

discipline

MonadLayerFunctorLaws

laws

MonadLayerFunctorTests

discipline

MonadLayerLaws

laws

MonadLayerTests

discipline

MonadStateLaws

laws

MonadStateTests

discipline

Monoid

cats

mapFilterComposition

FunctorEmptyLaws

mapFilterMapConsistency

FunctorEmptyLaws

mapForwardRespectsLayer

FunctorLayerLaws

modifyIsGetThenSet

MonadStateLaws

monad

MonadStateLaws

monadLayer

MonadLayerTests

monadLayerControl

MonadLayerControlTests

monadLayerControlInstance

MonadLayerControlLaws MonadLayerControlTests

monadLayerFunctor

MonadLayerFunctorTests

monadLayerFunctorInstance

MonadLayerFunctorLaws MonadLayerFunctorTests

monadLayerInstance

MonadLayerLaws MonadLayerTests

monadState

MonadStateTests

mtl

cats