polysemy-1.6.0.0: Higher-order, low-boilerplate free monads.
Safe HaskellNone
LanguageHaskell2010

Polysemy.State.Law

Synopsis

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 #

law_getTwice :: forall s r. (Eq s, Arbitrary s, Show s, MakeLaw (State s) r) => Law (State s) r Source #

law_getPutGet :: forall s r. (Eq s, Arbitrary s, Show s, MakeLaw (State s) r) => Law (State s) r Source #