ouroboros-consensus-0.26.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Test.Util.QSM

Synopsis

Documentation

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

Instances

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

failStringExample cmd a #

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

runTypeable a ⇒ cmd SymbolicExample cmd [Reference a Symbolic] Source #

Run a command, and capture its references

run' ∷ cmd SymbolicExample cmd () Source #

Run a command, ignoring its references