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.AlphaEquality

Description

This module provides \(\alpha\)-equality for internal actions. This functionality isn't used anywhere in the library, but can be useful for writing metaproperties.

Synopsis

Documentation

alphaEq Source #

Arguments

:: (HFunctor act, Eq (Program act)) 
=> Program act 
-> Program act

The two input programs.

-> Bool 

Check if two lists of actions are equal modulo \(\alpha\)-conversion.

alphaEqFork Source #

Arguments

:: (HFunctor act, Eq (Program act)) 
=> Fork (Program act) 
-> Fork (Program act)

The two input forks.

-> Bool 

Check if two forks of actions are equal modulo \(\alpha\)-conversion.