Test.Monad.State.Checkers

Documentation

checkState :: forall m s. (MonadState s m, Constructible s, TestEq (m ()), TestEq (m s)) => [(String, Property)]

checkState_ :: [(String, Property)]

checkState' :: [(String, Property)]