quickcheck-dynamic-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Test.QuickCheck.DynamicLogic

Synopsis

Documentation

data DynLogic s Source #

Dynamic logic formulae.

type DynPred s = s -> DynLogic s Source #

class StateModel s => DynLogicModel s where Source #

Minimal complete definition

Nothing

Methods

restricted :: Action s a -> Bool Source #

data DynLogicTest s Source #

Constructors

BadPrecondition [TestStep s] [Any (Action s)] s 
Looping [TestStep s] 
Stuck [TestStep s] s 
DLScript [TestStep s] 

Instances

Instances details
StateModel s => Show (DynLogicTest s) Source # 
Instance details

Defined in Test.QuickCheck.DynamicLogic

data TestStep s Source #

Constructors

Do (Step s) 
forall a.(Eq a, Show a, Typeable a) => Witness a 

Instances

Instances details
Eq (TestStep s) Source # 
Instance details

Defined in Test.QuickCheck.DynamicLogic

Methods

(==) :: TestStep s -> TestStep s -> Bool Source #

(/=) :: TestStep s -> TestStep s -> Bool Source #

StateModel s => Show (TestStep s) Source # 
Instance details

Defined in Test.QuickCheck.DynamicLogic

after :: (Show a, Typeable a, Eq (Action s a)) => Action s a -> DynPred s -> DynLogic s Source #

forAllMappedScripts :: (DynLogicModel s, Testable a, Show rep) => (rep -> DynLogicTest s) -> (DynLogicTest s -> rep) -> DynLogic s -> (Actions s -> a) -> Property Source #

forAllMappedScripts_ :: (DynLogicModel s, Testable a, Show rep) => (rep -> DynLogicTest s) -> (DynLogicTest s -> rep) -> DynLogic s -> (Actions s -> a) -> Property Source #