quickcheck-state-machine-0.1.0: Test monadic programs using state machine based models

Copyright(C) 2017 ATS Advanced Telematic Systems GmbH
LicenseBSD-style (see the file LICENSE)
MaintainerStevan Andjelkovic <stevan@advancedtelematic.com>
Stabilityprovisional
Portabilitynon-portable (GHC extensions)
Safe HaskellNone
LanguageHaskell2010

Test.StateMachine.Internal.ScopeCheck

Description

This module provides scope-checking for internal actions. This functionality isn't used anywhere in the library, but can be useful for writing metaproperties.

Synopsis

Documentation

scopeCheck :: forall act. HFoldable act => Program act -> Bool Source #

Scope-check a program, i.e. make sure that no action uses a reference that doesn't exist.

scopeCheckParallel :: HFoldable act => ParallelProgram act -> Bool Source #

Same as above, but for parallel programs.