Control.Monad.State.Class.Laws.Instances

Tests of the MonadState laws for lazy and strict state monads. The laws are one level up in the module hierarchy: defaultMonadStatePutGet etc.

Documentation

testLawsStateL :: IO ()

testLawsStatePartialL :: IO ()

testLawsStateS :: IO ()

testLawsStatePartialS :: IO ()

main :: IO ()