Safe Haskell	None
Language	Haskell2010

Test.Util.QSM

Synopsis

data Example (cmd ∷ (Type → Type) → Type) a
example ∷ ∀ (model ∷ (Type → Type) → Type) (cmd ∷ (Type → Type) → Type) (m ∷ Type → Type) (resp ∷ (Type → Type) → Type). (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

data Example (cmd ∷ (Type → Type) → Type) a Source #

Instances details

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 #
MonadFail (Example cmd) Source #
Instance details Defined in Test.Util.QSM Methods fail ∷ HasCallStack ⇒ String → Example cmd a #

example ∷ ∀ (model ∷ (Type → Type) → Type) (cmd ∷ (Type → Type) → Type) (m ∷ Type → Type) (resp ∷ (Type → Type) → Type). (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