ouroboros-consensus-test-0.1.0.0: Tests of the consensus layer
Safe HaskellNone
LanguageHaskell2010

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
  • runTypeable a ⇒ cmd Symbolic → Example cmd [Reference a Symbolic]
  • run' ∷ cmd Symbolic → Example cmd ()

Documentation

data Example cmd a Source #

Instances

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

failStringExample 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 #

runTypeable 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