Îõ³h*OÆ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDE0.6.0  Safe-Inferred)*6ÂÃÄÅÆÍÕØÛÝäðõ÷sFGHIJ Safe-Inferred)*6ÂÃÄÅÆÍÕØÚÛÝäðõ÷Öquickcheck-lockstep"Convenience function for defining  instances!This can be used for monads like IO where  Realized m a is just a.quickcheck-lockstep"Convenience function for defining ) instances for monad transformer stacks.    Safe-Inferred)*6ÂÃÄÅÆÍÕØÛÝäðõ÷& quickcheck-lockstepGeneralized variablesThe key difference between   and the standard K type is that  % have a functor-esque structure: see map. quickcheck-lockstep>Only for pretty-printing counter-examples, do not use directlyquickcheck-lockstepLookup   given a lookup function for KöThe variable must be in the environment and evaluation must succeed. This is normally guaranteed by the default test  precondition.Lquickcheck-lockstepLookup  öThe variable must be in the environment and evaluation must succeed. This is normally guaranteed by the default test  precondition.Mquickcheck-lockstepÂCheck if the variable is well-defined and evaluation will succeed. N LM Safe-Inferred)*6ÂÃÄÅÆÍÕØÛÝäðõ÷¬quickcheck-lockstep6Very simple operation type that supports identity onlyïThis can be used by tests that don't need to map over variables. That is, where variables always refer to the exactÑ result of previously executed commands. Such tests will not need to define any  instances.  Safe-Inferred)*6ÂÃÄÅÆÍÕØÛÝäðõ÷ñquickcheck-lockstep?@A#$BCDEFG('HIJ&KLMNOPQRSTU V W X YZ[\ ; ] ^_`abSTcZdeS f`aghijkì0quickcheck-lockstep-0.6.0-C38HbJYI1Du2OAlqJcZTQ5&Test.QuickCheck.StateModel.Lockstep.Op#Test.QuickCheck.StateModel.Lockstep/Test.QuickCheck.StateModel.Lockstep.Op.Identity,Test.QuickCheck.StateModel.Lockstep.Defaults.Test.QuickCheck.StateModel.Lockstep.Op.SumProd'Test.QuickCheck.StateModel.Lockstep.Runquickcheck-lockstep(Test.QuickCheck.StateModel.Lockstep.EnvF(Test.QuickCheck.StateModel.Lockstep.GVar'Test.QuickCheck.StateModel.Lockstep.APIStateModel.Lockstep.GVarmapTest.QuickCheck.StateModel initialState nextState preconditionarbitraryAction shrinkAction postcondition runActions WrapRealizedunwrapRealized InterpretOpintOp Operation opIdentityintOpRealizedIdintOpTransformerAnyGVarSomeGVarGVar unsafeMkGVarmapGVar lookUpGVarOpOpId$fInterpretOpOpf $fOperationOp$fEqOp$fShowOpModelVarContextModelVarModelFindVariables ModelLookUpLockstepAction RunLockstep observeRealshowRealResponse InLockstep ModelValue ObservableModelOp observeModelusedVarsmodelNextStatearbitraryWithVarsshrinkWithVarstagStepLockstepgetModelfindVars lookupVar monitoring$fHasVariablesAction$fHasVariablesLockstepOpFstOpSndOpLeftOpRightOpCompintOpId$fInterpretOpOpWrapRealized$fInterpretOpOpWrapRealized0$fInterpretOpOpWrapRealized1 tagActions labelActionsrunActionsBracketEnvFemptyinsertlookup keysOfType/quickcheck-dynamic-3.4.1-8heRyHinmf3BcBmMqDxpgh$Test.QuickCheck.StateModel.VariablesVar lookUpEnvF definedInEnvFfromVar$fShowLockstepbaseGHC.ShowShow lockstepModel lockstepEnv checkResponseghc-prim GHC.TypesBool HasVariables Data.EitherEitherRunModelIOmonadicBracketIO*QuickCheck-2.15.0.1-JyXbAFb7UipIPAKrEhXkquTest.QuickCheck.Monadic monadicIO