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

Index

!Test.StateMachine.Z
.!Test.StateMachine.Z
.%Test.StateMachine.Z
.//Test.StateMachine.Logic, Test.StateMachine
./=Test.StateMachine.Logic, Test.StateMachine
.<Test.StateMachine.Logic, Test.StateMachine
.<=Test.StateMachine.Logic, Test.StateMachine
.=Test.StateMachine.Z
.==Test.StateMachine.Logic, Test.StateMachine
.>Test.StateMachine.Logic, Test.StateMachine
.>=Test.StateMachine.Logic, Test.StateMachine
:&&Test.StateMachine.Logic, Test.StateMachine
:/=Test.StateMachine.Logic, Test.StateMachine
:<Test.StateMachine.Logic, Test.StateMachine
:<=Test.StateMachine.Logic, Test.StateMachine
:==Test.StateMachine.Logic, Test.StateMachine
:=>Test.StateMachine.Logic, Test.StateMachine
:>Test.StateMachine.Logic, Test.StateMachine
:>=Test.StateMachine.Logic, Test.StateMachine
:||Test.StateMachine.Logic, Test.StateMachine
<$>Test.StateMachine.Types.Rank2
<**>Test.StateMachine.Z
<+Test.StateMachine.Z
<-|Test.StateMachine.Z
<|Test.StateMachine.Z
<||>Test.StateMachine.Z
AnnotateTest.StateMachine.Logic, Test.StateMachine
AnnotateCTest.StateMachine.Logic, Test.StateMachine
anyPTest.StateMachine.Utils
BooleanTest.StateMachine.Logic, Test.StateMachine
booleanTest.StateMachine.Logic, Test.StateMachine
BooleanCTest.StateMachine.Logic, Test.StateMachine
BotTest.StateMachine.Logic, Test.StateMachine
BotCTest.StateMachine.Logic, Test.StateMachine
calculateFrequencyTest.StateMachine.Sequential
checkCommandNamesTest.StateMachine.Sequential, Test.StateMachine
CloseTest.StateMachine.BoxDrawer
codomainTest.StateMachine.Z
Command 
1 (Type/Class)Test.StateMachine.Types
2 (Data Constructor)Test.StateMachine.Types
commandNamesTest.StateMachine.Sequential, Test.StateMachine
commandNamesInOrderTest.StateMachine.Sequential, Test.StateMachine
Commands 
1 (Type/Class)Test.StateMachine.Types
2 (Data Constructor)Test.StateMachine.Types
composeTest.StateMachine.Z
Concrete 
1 (Type/Class)Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Types.References, Test.StateMachine.Types
concreteTest.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
CounterTest.StateMachine.Types.GenSym, Test.StateMachine.Types
CounterexampleTest.StateMachine.Logic, Test.StateMachine
distributionTest.StateMachine.Types
domainTest.StateMachine.Z
dualTest.StateMachine.Logic, Test.StateMachine
EitherCTest.StateMachine.Logic, Test.StateMachine
ElemTest.StateMachine.Logic, Test.StateMachine
elemTest.StateMachine.Logic, Test.StateMachine
emptyTest.StateMachine.Z
emptyEnvironmentTest.StateMachine.Types.Environment, Test.StateMachine.Types
Environment 
1 (Type/Class)Test.StateMachine.Types.Environment, Test.StateMachine.Types
2 (Data Constructor)Test.StateMachine.Types.Environment, Test.StateMachine.Types
EnvironmentErrorTest.StateMachine.Types.Environment, Test.StateMachine.Types
EnvironmentTypeErrorTest.StateMachine.Types.Environment, Test.StateMachine.Types
EnvironmentValueNotFoundTest.StateMachine.Types.Environment, Test.StateMachine.Types
EventTypeTest.StateMachine.BoxDrawer
ExceptionThrownTest.StateMachine.Types, Test.StateMachine
execTest.StateMachine.BoxDrawer
executeCommandsTest.StateMachine.Sequential
ExistsTest.StateMachine.Logic, Test.StateMachine
existsTest.StateMachine.Logic, Test.StateMachine
ExistsCTest.StateMachine.Logic, Test.StateMachine
fcomposeTest.StateMachine.Z
filterMaybeTest.StateMachine.Sequential
fmapTest.StateMachine.Types.Rank2
FoldableTest.StateMachine.Types.Rank2
foldMapTest.StateMachine.Types.Rank2
ForallTest.StateMachine.Logic, Test.StateMachine
forallTest.StateMachine.Logic, Test.StateMachine
ForallCTest.StateMachine.Logic, Test.StateMachine
forAllCommandsTest.StateMachine.Sequential, Test.StateMachine
forAllParallelCommandsTest.StateMachine.Parallel, Test.StateMachine
forAllShrinkShowTest.StateMachine.Utils
Fork 
1 (Type/Class)Test.StateMachine.BoxDrawer
2 (Data Constructor)Test.StateMachine.BoxDrawer
fromPairTest.StateMachine.Types
FstTest.StateMachine.Logic, Test.StateMachine
FunTest.StateMachine.Z
FunctorTest.StateMachine.Types.Rank2
GConNameTest.StateMachine.ConstructorName
gconNameTest.StateMachine.ConstructorName
GConName1Test.StateMachine.ConstructorName
gconName1Test.StateMachine.ConstructorName
gconNamesTest.StateMachine.ConstructorName
gconNames1Test.StateMachine.ConstructorName
generateCommandsTest.StateMachine.Sequential
generateCommandsStateTest.StateMachine.Sequential
generateParallelCommandsTest.StateMachine.Parallel
generatorTest.StateMachine.Types
GenSymTest.StateMachine.Types.GenSym, Test.StateMachine.Types, Test.StateMachine
genSymTest.StateMachine.Types.GenSym, Test.StateMachine.Types, Test.StateMachine
getChanContentsTest.StateMachine.Sequential
getUsedVarsTest.StateMachine.Sequential
gfmapTest.StateMachine.Types.Rank2
gfoldMapTest.StateMachine.Types.Rank2
gtraverseTest.StateMachine.Types.Rank2
History 
1 (Type/Class)Test.StateMachine.Types.History, Test.StateMachine.Types
2 (Data Constructor)Test.StateMachine.Types.History, Test.StateMachine.Types
History'Test.StateMachine.Types.History, Test.StateMachine.Types
HistoryEventTest.StateMachine.Types.History, Test.StateMachine.Types
identityTest.StateMachine.Z
imageTest.StateMachine.Z
ImpliesCTest.StateMachine.Logic, Test.StateMachine
initModelTest.StateMachine.Types
insertConcreteTest.StateMachine.Types.Environment, Test.StateMachine.Types
insertConcretesTest.StateMachine.Types.Environment, Test.StateMachine.Types
interleavingsTest.StateMachine.Types.History, Test.StateMachine.Types
intersectTest.StateMachine.Z
invariantTest.StateMachine.Types
InvariantBrokenTest.StateMachine.Types, Test.StateMachine
inverseTest.StateMachine.Z
InvocationTest.StateMachine.Types.History, Test.StateMachine.Types
isBijectionTest.StateMachine.Z
isPartialFunTest.StateMachine.Z
isPartialInjTest.StateMachine.Z
isPartialSurjTest.StateMachine.Z
isSubsetOfTest.StateMachine.Z
isSurjRelTest.StateMachine.Z
isTotalFunTest.StateMachine.Z
isTotalInjTest.StateMachine.Z
isTotalRelTest.StateMachine.Z
isTotalSurjTest.StateMachine.Z
isTotalSurjRelTest.StateMachine.Z
lengthCommandsTest.StateMachine.Types
liftPropertyTest.StateMachine.Utils
liftShrinkCommandTest.StateMachine.Sequential
lineariseTest.StateMachine.Parallel
LogicTest.StateMachine.Logic, Test.StateMachine
logicTest.StateMachine.Logic, Test.StateMachine
lookupCodTest.StateMachine.Z
lookupDomTest.StateMachine.Z
makeOperationsTest.StateMachine.Types.History, Test.StateMachine.Types
measureFrequencyTest.StateMachine.Sequential
mockTest.StateMachine.Types
modelCheckTest.StateMachine.Sequential, Test.StateMachine
newCounterTest.StateMachine.Types.GenSym, Test.StateMachine.Types
NotTest.StateMachine.Logic, Test.StateMachine
NotCTest.StateMachine.Logic, Test.StateMachine
NotElemTest.StateMachine.Logic, Test.StateMachine
notElemTest.StateMachine.Logic, Test.StateMachine
OkTest.StateMachine.Types, Test.StateMachine
Opaque 
1 (Type/Class)Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
opaqueTest.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
OpenTest.StateMachine.BoxDrawer
Operation 
1 (Type/Class)Test.StateMachine.Types.History, Test.StateMachine.Types
2 (Data Constructor)Test.StateMachine.Types.History, Test.StateMachine.Types
Pair 
1 (Type/Class)Test.StateMachine.Types
2 (Data Constructor)Test.StateMachine.Types
ParallelCommands 
1 (Type/Class)Test.StateMachine.Types
2 (Data Constructor)Test.StateMachine.Types
ParallelCommandsFTest.StateMachine.Types
Pid 
1 (Type/Class)Test.StateMachine.Types.History, Test.StateMachine.Types
2 (Data Constructor)Test.StateMachine.Types.History, Test.StateMachine.Types
postconditionTest.StateMachine.Types
PostconditionFailedTest.StateMachine.Types, Test.StateMachine
preconditionTest.StateMachine.Types
PreconditionFailedTest.StateMachine.Types, Test.StateMachine
Predicate 
1 (Type/Class)Test.StateMachine.Logic, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Logic, Test.StateMachine
predicateTest.StateMachine.Logic, Test.StateMachine
PredicateCTest.StateMachine.Logic, Test.StateMachine
prefixTest.StateMachine.Types
prettyCommandsTest.StateMachine.Sequential, Test.StateMachine
prettyParallelCommandsTest.StateMachine.Parallel, Test.StateMachine
prettyPrintHistoryTest.StateMachine.Sequential
proj1Test.StateMachine.Types
proj2Test.StateMachine.Types
prop_splitCombineTest.StateMachine.Parallel
ReasonTest.StateMachine.Types, Test.StateMachine
Reference 
1 (Type/Class)Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Types.References, Test.StateMachine.Types
referenceTest.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
reifyTest.StateMachine.Types.Environment, Test.StateMachine.Types
reifyDynamicTest.StateMachine.Types.Environment, Test.StateMachine.Types
reifyEnvironmentTest.StateMachine.Types.Environment, Test.StateMachine.Types
RelTest.StateMachine.Z
ResponseTest.StateMachine.Types.History, Test.StateMachine.Types
runCommandsTest.StateMachine.Sequential, Test.StateMachine
runGenSymTest.StateMachine.Types.GenSym, Test.StateMachine.Types
runnerTest.StateMachine.Types
runParallelCommandsTest.StateMachine.Parallel, Test.StateMachine
runParallelCommandsNTimesTest.StateMachine.Parallel, Test.StateMachine
semanticsTest.StateMachine.Types
shrinkCommandsTest.StateMachine.Sequential
shrinkerTest.StateMachine.Types
shrinkPairTest.StateMachine.Utils
shrinkPair'Test.StateMachine.Utils
shrinkParallelCommandsTest.StateMachine.Parallel
singletonTest.StateMachine.Z
SndTest.StateMachine.Logic, Test.StateMachine
spostconditionTest.StateMachine.Types
StateMachine 
1 (Type/Class)Test.StateMachine.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Types, Test.StateMachine
strongNegTest.StateMachine.Logic, Test.StateMachine
suchThatOneOfTest.StateMachine.Utils
suffixesTest.StateMachine.Types
Symbolic 
1 (Type/Class)Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Types.References, Test.StateMachine.Types
toBoxDrawingsTest.StateMachine.Parallel
TopTest.StateMachine.Logic, Test.StateMachine
toPairTest.StateMachine.Types
transitionTest.StateMachine.Types
transitionMatrixTest.StateMachine.Sequential, Test.StateMachine
TraversableTest.StateMachine.Types.Rank2
traverseTest.StateMachine.Types.Rank2
unCommandsTest.StateMachine.Types
unEnvironmentTest.StateMachine.Types.Environment, Test.StateMachine.Types
unHistoryTest.StateMachine.Types.History, Test.StateMachine.Types
unionTest.StateMachine.Z
unOpaqueTest.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
unPidTest.StateMachine.Types.History, Test.StateMachine.Types
validCommandsTest.StateMachine.Sequential
validParallelCommandsTest.StateMachine.Parallel
ValueTest.StateMachine.Logic, Test.StateMachine
Var 
1 (Type/Class)Test.StateMachine.Types.References, Test.StateMachine.Types
2 (Data Constructor)Test.StateMachine.Types.References, Test.StateMachine.Types
VFalseTest.StateMachine.Logic, Test.StateMachine
VTrueTest.StateMachine.Logic, Test.StateMachine
whenFailMTest.StateMachine.Utils
|->Test.StateMachine.Z
|>Test.StateMachine.Z
~=Test.StateMachine.Z