| Copyright | (C) 2017 ATS Advanced Telematic Systems GmbH |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Stevan Andjelkovic <stevan@advancedtelematic.com> |
| Stability | provisional |
| Portability | non-portable (GHC extensions) |
| Safe Haskell | None |
| Language | Haskell2010 |
Test.StateMachine.Internal.ScopeCheck
Description
This module provides scope-checking for internal commands. This functionality isn't used anywhere in the library, but can be useful for writing metaproperties.
- scopeCheck :: forall cmd. (IxFoldable cmd, HasResponse cmd) => [IntRefed cmd] -> Bool
- scopeCheckFork :: (IxFoldable cmd, HasResponse cmd) => Fork [IntRefed cmd] -> Bool
Documentation
scopeCheck :: forall cmd. (IxFoldable cmd, HasResponse cmd) => [IntRefed cmd] -> Bool Source #
Scope-check a list of untyped internal commands, i.e. make sure that no command uses a reference that doesn't exist.
scopeCheckFork :: (IxFoldable cmd, HasResponse cmd) => Fork [IntRefed cmd] -> Bool Source #
Same as above, but for forks rather than lists.