Safe Haskell	None
Language	Haskell2010

Test.Util.QSM

Synopsis

data Example cmd a
example ∷ ∀ model cmd m resp. (Foldable resp, Show (cmd Symbolic)) ⇒ StateMachine model cmd m resp → Example cmd () → Commands cmd resp
run ∷ Typeable a ⇒ cmd Symbolic → Example cmd [Reference a Symbolic]
run' ∷ cmd Symbolic → Example cmd ()

Documentation

Instances details

Monad (Example cmd) Source #
Instance details Defined in Test.Util.QSM Methods (>>=) ∷ Example cmd a → (a → Example cmd b) → Example cmd b Source # (>>) ∷ Example cmd a → Example cmd b → Example cmd b Source # return ∷ a → Example cmd a Source #
Functor (Example cmd) Source #
Instance details Defined in Test.Util.QSM Methods fmap ∷ (a → b) → Example cmd a → Example cmd b Source # (<$) ∷ a → Example cmd b → Example cmd a Source #
MonadFail (Example cmd) Source #
Instance details Defined in Test.Util.QSM Methods fail ∷ String → Example cmd a Source #
Applicative (Example cmd) Source #
Instance details Defined in Test.Util.QSM Methods pure ∷ a → Example cmd a Source # (<>) ∷ Example cmd (a → b) → Example cmd a → Example cmd b Source # liftA2 ∷ (a → b → c) → Example cmd a → Example cmd b → Example cmd c Source # (>) ∷ Example cmd a → Example cmd b → Example cmd b Source # (<*) ∷ Example cmd a → Example cmd b → Example cmd a Source #

example ∷ ∀ model cmd m resp. (Foldable resp, Show (cmd Symbolic)) ⇒ StateMachine model cmd m resp → Example cmd () → Commands cmd resp Source #

run ∷ Typeable a ⇒ cmd Symbolic → Example cmd [Reference a Symbolic] Source #

Run a command, and capture its references

run' ∷ cmd Symbolic → Example cmd () Source #

Run a command, ignoring its references