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

Index

!Test.StateMachine.Z
.!Test.StateMachine.Z
.%Test.StateMachine.Z
.=Test.StateMachine.Z
:&&Test.StateMachine.Logic
:/=Test.StateMachine.Logic
:<Test.StateMachine.Logic
:<=Test.StateMachine.Logic
:==Test.StateMachine.Logic
:=>Test.StateMachine.Logic
:>Test.StateMachine.Logic
:>=Test.StateMachine.Logic
:||Test.StateMachine.Logic
<**>Test.StateMachine.Z
<+Test.StateMachine.Z
<-|Test.StateMachine.Z
<|Test.StateMachine.Z
<||>Test.StateMachine.Z
actionNamesTest.StateMachine
alwaysPTest.StateMachine.Internal.Utils
AnnotateTest.StateMachine.Logic
AnnotateCTest.StateMachine.Logic
anyPTest.StateMachine.Internal.Utils
BotTest.StateMachine.Logic
BotCTest.StateMachine.Logic
checkActionNamesTest.StateMachine
CloseTest.StateMachine.Internal.Utils.BoxDrawer
codomainTest.StateMachine.Z
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, Test.StateMachine
concreteTest.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
Constructor 
1 (Type/Class)Test.StateMachine.Types.Generics, Test.StateMachine.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Types.Generics, Test.StateMachine.Types, Test.StateMachine
constructorTest.StateMachine.Types.Generics, Test.StateMachine.Types, Test.StateMachine
ConstructorsTest.StateMachine.Types.Generics, Test.StateMachine.Types, Test.StateMachine
CounterexampleTest.StateMachine.Logic
deriveConstructorsTest.StateMachine.Types.Generics.TH, Test.StateMachine.TH
deriveHClassesTest.StateMachine.Types.HFunctor.TH, Test.StateMachine.TH
deriveHFoldableTest.StateMachine.Types.HFunctor.TH, Test.StateMachine.TH
deriveHFunctorTest.StateMachine.Types.HFunctor.TH, Test.StateMachine.TH
deriveHTraversableTest.StateMachine.Types.HFunctor.TH, Test.StateMachine.TH
deriveShowTest.StateMachine.Types.Generics.TH, Test.StateMachine.TH
deriveShowsTest.StateMachine.Types.Generics.TH, Test.StateMachine.TH
deriveShowUntypedTest.StateMachine.Types.Generics.TH, Test.StateMachine.TH
deriveTestClassesTest.StateMachine.TH
domainTest.StateMachine.Z
dropLastTest.StateMachine.Internal.Utils
dualTest.StateMachine.Logic
EitherCTest.StateMachine.Logic
ElemTest.StateMachine.Logic
emptyTest.StateMachine.Z
emptyEnvironmentTest.StateMachine.Internal.Types.Environment
Environment 
1 (Type/Class)Test.StateMachine.Internal.Types.Environment
2 (Data Constructor)Test.StateMachine.Internal.Types.Environment
EnvironmentErrorTest.StateMachine.Internal.Types.Environment
EnvironmentTypeErrorTest.StateMachine.Internal.Types.Environment
EnvironmentValueNotFoundTest.StateMachine.Internal.Types.Environment
EventTypeTest.StateMachine.Internal.Utils.BoxDrawer
execTest.StateMachine.Internal.Utils.BoxDrawer
executeParallelProgramTest.StateMachine.Internal.Parallel
executeProgramTest.StateMachine.Internal.Sequential
FailTest.StateMachine.Types, Test.StateMachine
fcomposeTest.StateMachine.Z
filterInvalidTest.StateMachine.Internal.Sequential
flattenParallelProgramTest.StateMachine.Internal.Types
forAllProgramTest.StateMachine
forAllProgramCTest.StateMachine
forAllShrinkShowTest.StateMachine.Internal.Utils
forAllShrinkShowCTest.StateMachine.Internal.Utils
Fork 
1 (Type/Class)Test.StateMachine.Internal.Utils.BoxDrawer
2 (Data Constructor)Test.StateMachine.Internal.Utils.BoxDrawer
FstTest.StateMachine.Logic
FunTest.StateMachine.Z
generateParallelProgramTest.StateMachine.Internal.Parallel
generateProgramTest.StateMachine.Internal.Sequential
generateProgram'Test.StateMachine.Internal.Sequential
GeneratorTest.StateMachine.Types, Test.StateMachine
generator'Test.StateMachine.Types, Test.StateMachine
getChanContentsTest.StateMachine.Internal.Utils
getProcessIdEventTest.StateMachine.Types.History
getUsedVarsTest.StateMachine.Internal.Sequential
hfmapTest.StateMachine.Types.HFunctor, Test.StateMachine.Types, Test.StateMachine
HFoldableTest.StateMachine.Types.HFunctor, Test.StateMachine.Types, Test.StateMachine
hfoldMapTest.StateMachine.Types.HFunctor, Test.StateMachine.Types, Test.StateMachine
HFunctorTest.StateMachine.Types.HFunctor, Test.StateMachine.Types, Test.StateMachine
History 
1 (Type/Class)Test.StateMachine.Types.History, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Types.History
History'Test.StateMachine.Types.History
HistoryEventTest.StateMachine.Types.History
HTraversableTest.StateMachine.Types.HFunctor, Test.StateMachine.Types, Test.StateMachine
htraverseTest.StateMachine.Types.HFunctor, Test.StateMachine.Types, Test.StateMachine
identityTest.StateMachine.Z
imageTest.StateMachine.Z
ImpliesCTest.StateMachine.Logic
InitialModelTest.StateMachine.Types, Test.StateMachine
insertConcreteTest.StateMachine.Internal.Types.Environment
Internal 
1 (Type/Class)Test.StateMachine.Internal.Types
2 (Data Constructor)Test.StateMachine.Internal.Types
intersectTest.StateMachine.Z
inverseTest.StateMachine.Z
InvocationEventTest.StateMachine.Types.History
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
liftPropertyTest.StateMachine.Internal.Utils
liftShrinkInternalTest.StateMachine.Internal.Sequential
lineariseTest.StateMachine.Internal.Parallel
linearTreeTest.StateMachine.Types.History
LogicTest.StateMachine.Logic
logicTest.StateMachine.Logic
lookupCodTest.StateMachine.Z
lookupDomTest.StateMachine.Z
mkhfmapTest.StateMachine.Types.HFunctor.TH
mkhfoldMapTest.StateMachine.Types.HFunctor.TH
mkhtraverseTest.StateMachine.Types.HFunctor.TH
mkShrinkerTest.StateMachine.Types.Generics.TH, Test.StateMachine.TH
model'Test.StateMachine.Types, Test.StateMachine
monadicParallelTest.StateMachine
monadicParallelCTest.StateMachine
monadicSequentialTest.StateMachine
monadicSequentialCTest.StateMachine
nConstructorsTest.StateMachine.Types.Generics, Test.StateMachine.Types, Test.StateMachine
NotTest.StateMachine.Logic
NotCTest.StateMachine.Logic
NotElemTest.StateMachine.Logic
nubTest.StateMachine.Internal.Utils
OkTest.StateMachine.Types, Test.StateMachine
okPostconditionTest.StateMachine.Types, Test.StateMachine
okSemanticsTest.StateMachine.Types, Test.StateMachine
okTransitionTest.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.Internal.Utils.BoxDrawer
Operation 
1 (Type/Class)Test.StateMachine.Types.History
2 (Data Constructor)Test.StateMachine.Types.History
ParallelProgram 
1 (Type/Class)Test.StateMachine.Internal.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Internal.Types
parallelProgramAsListTest.StateMachine.Internal.Types
parallelProgramFromListTest.StateMachine.Internal.Types
parallelProgramLengthTest.StateMachine.Internal.Types
parallelProgramToListTest.StateMachine.Internal.Types
Pid 
1 (Type/Class)Test.StateMachine.Internal.Types
2 (Data Constructor)Test.StateMachine.Internal.Types
PostconditionTest.StateMachine.Types, Test.StateMachine
Postcondition'Test.StateMachine.Types, Test.StateMachine
postcondition'Test.StateMachine.Types, Test.StateMachine
PostconditionFailedTest.StateMachine.Types, Test.StateMachine
ppHistoryTest.StateMachine.Types.History
ppResultTest.StateMachine.Types, Test.StateMachine
PreconditionTest.StateMachine.Types, Test.StateMachine
precondition'Test.StateMachine.Types, Test.StateMachine
PreconditionFailedTest.StateMachine.Types, Test.StateMachine
Predicate 
1 (Type/Class)Test.StateMachine.Logic
2 (Data Constructor)Test.StateMachine.Logic
predicateTest.StateMachine.Logic
PredicateCTest.StateMachine.Logic
prettyParallelProgramTest.StateMachine
prettyProgramTest.StateMachine
Program 
1 (Type/Class)Test.StateMachine.Internal.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Internal.Types
programLengthTest.StateMachine.Internal.Types, Test.StateMachine
quickCheckTest.StateMachine
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, Test.StateMachine
reifyTest.StateMachine.Internal.Types.Environment
reifyDynamicTest.StateMachine.Internal.Types.Environment
reifyEnvironmentTest.StateMachine.Internal.Types.Environment
RelTest.StateMachine.Z
ResponseEventTest.StateMachine.Types.History
ResultTest.StateMachine.Types, Test.StateMachine
RunnerTest.StateMachine.Types, Test.StateMachine
runner'Test.StateMachine.Types, Test.StateMachine
runParallelProgramTest.StateMachine
runParallelProgram'Test.StateMachine
runProgramTest.StateMachine
SemanticsTest.StateMachine.Types, Test.StateMachine
Semantics'Test.StateMachine.Types, Test.StateMachine
semantics'Test.StateMachine.Types, Test.StateMachine
ShrinkerTest.StateMachine.Types, Test.StateMachine
shrinker'Test.StateMachine.Types, Test.StateMachine
shrinkPairTest.StateMachine.Internal.Utils
shrinkPair'Test.StateMachine.Internal.Utils
shrinkParallelProgramTest.StateMachine.Internal.Parallel
shrinkProgramTest.StateMachine.Internal.Sequential
singletonTest.StateMachine.Z
SndTest.StateMachine.Logic
StateMachine 
1 (Data Constructor)Test.StateMachine.Types, Test.StateMachine
2 (Type/Class)Test.StateMachine.Types, Test.StateMachine
stateMachineTest.StateMachine.Types, Test.StateMachine
StateMachine'Test.StateMachine.Types, Test.StateMachine
strongNegTest.StateMachine.Logic
SuccessTest.StateMachine.Types, Test.StateMachine
Symbolic 
1 (Type/Class)Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
toBoxDrawingsTest.StateMachine.Internal.Parallel
toLastTest.StateMachine.Internal.Utils
TopTest.StateMachine.Logic
TransitionTest.StateMachine.Types, Test.StateMachine
Transition'Test.StateMachine.Types, Test.StateMachine
transition'Test.StateMachine.Types, Test.StateMachine
unEnvironmentTest.StateMachine.Internal.Types.Environment
unHistoryTest.StateMachine.Types.History
unionTest.StateMachine.Z
unOpaqueTest.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
unProgramTest.StateMachine.Internal.Types
Untyped 
1 (Type/Class)Test.StateMachine.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Types, Test.StateMachine
UntypedConcrete 
1 (Type/Class)Test.StateMachine.Types.History
2 (Data Constructor)Test.StateMachine.Types.History
validParallelProgramTest.StateMachine.Internal.Parallel
validProgramTest.StateMachine.Internal.Sequential
ValueTest.StateMachine.Logic
Var 
1 (Type/Class)Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
2 (Data Constructor)Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine
VFalseTest.StateMachine.Logic
VTrueTest.StateMachine.Logic
whenFailMTest.StateMachine.Internal.Utils
|->Test.StateMachine.Z
|>Test.StateMachine.Z
~=Test.StateMachine.Z