Safe Haskell	Safe-Inferred
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

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

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

Run a command, and capture its references

Run a command, ignoring its references