| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Polysemy.State.Law
Synopsis
- prop_lawfulState :: forall r s. (Eq s, Show s, Arbitrary s, MakeLaw (State s) r) => InterpreterFor (State s) r -> Property
- law_putTwice :: forall s r. (Eq s, Arbitrary s, Show s, MakeLaw (State s) r) => Law (State s) r
- law_getTwice :: forall s r. (Eq s, Arbitrary s, Show s, MakeLaw (State s) r) => Law (State s) r
- law_getPutGet :: forall s r. (Eq s, Arbitrary s, Show s, MakeLaw (State s) r) => Law (State s) r
Documentation
prop_lawfulState :: forall r s. (Eq s, Show s, Arbitrary s, MakeLaw (State s) r) => InterpreterFor (State s) r -> Property Source #
A collection of laws that show a State interpreter is correct.
law_putTwice :: forall s r. (Eq s, Arbitrary s, Show s, MakeLaw (State s) r) => Law (State s) r Source #