consensus-test
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Consensus.IOSimQSM.Test.StateMachine.Sequential

Description

_This is a superficial variation of the quickcheck-state-machine_ _source file that uses io-classes instead of MonadIO, UnliftIO,_ _etc._ Perhaps https://github.com/input-output-hk/quickcheck-dynamic/tree/main/quickcheck-dynamic-iosim will supplant this.

Module : Test.Consensus.IOSimQSM.Test.StateMachine.Sequential Copyright : (C) 2017, ATS Advanced Telematic Systems GmbH License : BSD-style (see the file LICENSE)

Maintainer : Stevan Andjelkovic stevan.andjelkovic@strath.ac.uk Stability : provisional Portability : non-portable (GHC extensions)

This module contains helpers for generating, shrinking, and checking sequential programs.

Documentation

runCommands' ∷ (Show (cmd Concrete), Show (resp Concrete)) ⇒ (Traversable cmd, Foldable resp) ⇒ (IOLike m, MonadSay m) ⇒ m (StateMachine model cmd m resp) → Commands cmd resp → m (History cmd resp, model Concrete, Reason) Source #