| 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.AlphaEquality
Description
This module provides \(\alpha\)-equality for internal commands. This functionality isn't used anywhere in the library, but can be useful for writing metaproperties.
- alphaEq :: forall ix cmd. SDecide ix => IxTraversable cmd => HasResponse cmd => Eq (IntRefed cmd) => [IntRefed cmd] -> [IntRefed cmd] -> Bool
- alphaEqFork :: forall ix cmd. SDecide ix => IxTraversable cmd => HasResponse cmd => Eq (IntRefed cmd) => Fork [IntRefed cmd] -> Fork [IntRefed cmd] -> Bool
Documentation
Arguments
| :: forall (cmd :: Signature ix). SDecide ix | |
| => IxTraversable cmd | |
| => HasResponse cmd | |
| => Eq (IntRefed cmd) | |
| => [IntRefed cmd] | The two |
| -> [IntRefed cmd] | input lists. |
| -> Bool |
Check if two lists of commands are equal modulo \(\alpha\)-conversion.