forAll package:quickcheck-dynamic

ForAll :: Quantification a -> (a -> DynLogic s) -> DynLogic s
quickcheck-dynamic Test.QuickCheck.DynamicLogic.Internal
Generating a random value
forAllDL :: (DynLogicModel s, Testable a) => DL s () -> (Actions s -> a) -> Property
quickcheck-dynamic Test.QuickCheck.DynamicLogic
forAllMappedDL :: (DynLogicModel s, Testable a) => (rep -> DynLogicTest s) -> (DynLogicTest s -> rep) -> (Actions s -> srep) -> DL s () -> (srep -> a) -> Property
quickcheck-dynamic Test.QuickCheck.DynamicLogic
forAllNonVariableQ :: QuantifyConstraints (HasNoVariables a) => Quantification a -> DL s a
quickcheck-dynamic Test.QuickCheck.DynamicLogic
Generate a random value using the given Quantification (or list/tuple of quantifications). Generated values will only shrink to smaller values that could also have been generated.
forAllQ :: Quantifiable q => q -> DL s (Quantifies q)
quickcheck-dynamic Test.QuickCheck.DynamicLogic
Generate a random value using the given Quantification (or list/tuple of quantifications). Generated values will only shrink to smaller values that could also have been generated.
forAllUniqueDL :: (DynLogicModel s, Testable a) => Annotated s -> DL s () -> (Actions s -> a) -> Property
quickcheck-dynamic Test.QuickCheck.DynamicLogic
forAllVar :: forall a s . Typeable a => DL s (Var a)
quickcheck-dynamic Test.QuickCheck.DynamicLogic
forAllMappedScripts :: (DynLogicModel s, Testable a) => (rep -> DynLogicTest s) -> (DynLogicTest s -> rep) -> DynFormula s -> (Actions s -> a) -> Property
quickcheck-dynamic Test.QuickCheck.DynamicLogic.Internal
Creates a Property from DynFormula with some specialised isomorphism for shrinking purpose.
forAllQ :: Quantifiable q => q -> (Quantifies q -> DynFormula s) -> DynFormula s
quickcheck-dynamic Test.QuickCheck.DynamicLogic.Internal
First-order quantification of variables. Formula f is True iff. it is True for all possible values of q. The underlying framework will generate values of q and check the formula holds for those values. Quantifiable values are thus values that can be generated and checked and the Quantify module defines basic combinators to build those from building blocks.
forAllScripts :: (DynLogicModel s, Testable a) => DynFormula s -> (Actions s -> a) -> Property
quickcheck-dynamic Test.QuickCheck.DynamicLogic.Internal
Simplest "execution" function for DynFormula. Turns a given a DynFormula paired with an interpreter function to produce some result from an Actions sequence into a proper Property that can be run by QuickCheck.
forAllUniqueScripts :: (DynLogicModel s, Testable a) => Annotated s -> DynFormula s -> (Actions s -> a) -> Property
quickcheck-dynamic Test.QuickCheck.DynamicLogic.Internal
Property function suitable for formulae without choice.