Control.Monad.State.Class.Laws

Laws for the MonadState class. A submodule has a main which runs quite a few tests for the lazy and strict state monads.

Documentation

class MonadState s m => MonadStateLaws s m where

Methods

monadStatePutPut :: Law (MonadStatePutPut s m)

monadStatePutGet :: Law (MonadStatePutGet s m)

monadStateGetPut :: Law (MonadStateGetPut m)

monadStateGetGet :: Law (MonadStateGetGet s a m)

Instances

MonadState s (SS s) => MonadStateLaws s (SS s)

MonadState s (State s) => MonadStateLaws s (State s)

defaultMonadStatePutPut :: MonadState s m => (s, s) -> Theorem (m ())

defaultMonadStatePutGet :: MonadState b m => b -> Theorem (m b)

defaultMonadStateGetPut :: MonadState a m => t -> Theorem (m ())

defaultMonadStateGetGet :: MonadState a m => (a -> a -> m b) -> Theorem (m b)

data MonadStatePutPut s m

Instances

(MonadStateLaws s m, TestEqual (m ())) => LawTest (MonadStatePutPut s m)

data MonadStatePutGet s m

Instances

(MonadStateLaws s m, TestEqual (m s)) => LawTest (MonadStatePutGet s m)

data MonadStateGetPut m

Instances

(MonadStateLaws s m, TestEqual (m ())) => LawTest (MonadStateGetPut m)

data MonadStateGetGet s a m

Instances

(MonadStateLaws s m, TestEqual (m a)) => LawTest (MonadStateGetGet s a m)