Command package:quickcheck-state-machine

data Command cmd resp
quickcheck-state-machine Test.StateMachine.Types
Previously symbolically executed command Invariant: the variables must be the variables in the response.
Command :: !cmd Symbolic -> !resp Symbolic -> [Var] -> Command cmd resp
quickcheck-state-machine Test.StateMachine.Types
class CommandNames (cmd :: k -> Type)
quickcheck-state-machine Test.StateMachine Test.StateMachine.ConstructorName
The names of all possible commands This is used for things like tagging, coverage checking, etc.
newtype Commands cmd resp
quickcheck-state-machine Test.StateMachine.Types
Commands :: [Command cmd resp] -> Commands cmd resp
quickcheck-state-machine Test.StateMachine.Types
commandNames :: forall cmd resp . CommandNames cmd => Commands cmd resp -> [(String, Int)]
quickcheck-state-machine Test.StateMachine Test.StateMachine.Sequential
commandNamesInOrder :: forall cmd resp . CommandNames cmd => Commands cmd resp -> [String]
quickcheck-state-machine Test.StateMachine Test.StateMachine.Sequential
commandNamesParallel :: forall cmd resp t . Foldable t => CommandNames cmd => ParallelCommandsF t cmd resp -> [(String, Int)]
quickcheck-state-machine Test.StateMachine Test.StateMachine.Parallel
commandName :: CommandNames cmd => Command cmd resp -> String
quickcheck-state-machine Test.StateMachine.ConstructorName
Convenience wrapper for Command
checkCommandNames :: forall cmd resp . CommandNames cmd => Commands cmd resp -> Property -> Property
quickcheck-state-machine Test.StateMachine
Print the percentage of each command used. The prefix check is an unfortunate remaining for backwards compatibility.
checkCommandNamesParallel :: forall cmd resp t . Foldable t => CommandNames cmd => ParallelCommandsF t cmd resp -> Property -> Property
quickcheck-state-machine Test.StateMachine
Print the percentage of each command used. The prefix check is an unfortunate remaining for backwards compatibility.
coverCommandNames :: forall cmd resp . CommandNames cmd => Commands cmd resp -> Property -> Property
quickcheck-state-machine Test.StateMachine
Fail if some commands have not been executed.
coverCommandNamesParallel :: forall cmd resp t . Foldable t => CommandNames cmd => ParallelCommandsF t cmd resp -> Property -> Property
quickcheck-state-machine Test.StateMachine
Fail if some commands have not been executed.
existsCommands :: forall model cmd m resp prop . (Testable prop, Foldable resp) => (Show (model Symbolic), Show (cmd Symbolic), Show (resp Symbolic)) => StateMachine model cmd m resp -> [model Symbolic -> Gen (cmd Symbolic)] -> (Commands cmd resp -> prop) -> Property
quickcheck-state-machine Test.StateMachine
Generate commands from a list of generators.
forAllCommands :: Testable prop => (Show (cmd Symbolic), Show (resp Symbolic), Show (model Symbolic)) => (Traversable cmd, Foldable resp) => StateMachine model cmd m resp -> Maybe Int -> (Commands cmd resp -> prop) -> Property
quickcheck-state-machine Test.StateMachine
forAllNParallelCommands :: Testable prop => (Show (cmd Symbolic), Show (resp Symbolic), Show (model Symbolic)) => (Traversable cmd, Foldable resp) => StateMachine model cmd m resp -> Int -> (NParallelCommands cmd resp -> prop) -> Property
quickcheck-state-machine Test.StateMachine
forAllParallelCommands :: Testable prop => (Show (cmd Symbolic), Show (resp Symbolic), Show (model Symbolic)) => (Traversable cmd, Foldable resp) => StateMachine model cmd m resp -> Maybe Int -> (ParallelCommands cmd resp -> prop) -> Property
quickcheck-state-machine Test.StateMachine
prettyCommands :: (MonadIO m, ToExpr (model Concrete)) => (Show (cmd Concrete), Show (resp Concrete)) => StateMachine model cmd m resp -> History cmd resp -> Property -> PropertyM m ()
quickcheck-state-machine Test.StateMachine
prettyCommands' :: (MonadIO m, ToExpr (model Concrete), ToExpr tag) => (Show (cmd Concrete), Show (resp Concrete)) => StateMachine model cmd m resp -> ([Event model cmd resp Symbolic] -> [tag]) -> Commands cmd resp -> History cmd resp -> Property -> PropertyM m ()
quickcheck-state-machine Test.StateMachine
Variant of prettyCommands that also prints the tags covered by each command.
prettyNParallelCommands :: (Show (cmd Concrete), Show (resp Concrete)) => MonadIO m => Foldable cmd => NParallelCommands cmd resp -> [(History cmd resp, a, Logic)] -> PropertyM m ()
quickcheck-state-machine Test.StateMachine
prettyNParallelCommandsWithOpts :: (Show (cmd Concrete), Show (resp Concrete)) => MonadIO m => Foldable cmd => NParallelCommands cmd resp -> Maybe GraphOptions -> [(History cmd resp, a, Logic)] -> PropertyM m ()
quickcheck-state-machine Test.StateMachine
Takes the output of parallel program runs and pretty prints a counterexample if any of the runs fail.
prettyParallelCommands :: (Show (cmd Concrete), Show (resp Concrete)) => MonadIO m => Foldable cmd => ParallelCommands cmd resp -> [(History cmd resp, a, Logic)] -> PropertyM m ()
quickcheck-state-machine Test.StateMachine
prettyParallelCommandsWithOpts :: (MonadIO m, Foldable cmd) => (Show (cmd Concrete), Show (resp Concrete)) => ParallelCommands cmd resp -> Maybe GraphOptions -> [(History cmd resp, a, Logic)] -> PropertyM m ()
quickcheck-state-machine Test.StateMachine
Takes the output of parallel program runs and pretty prints a counterexample if any of the runs fail.
runCommands :: (Show (cmd Concrete), Show (resp Concrete)) => (Traversable cmd, Foldable resp) => (MonadMask m, MonadIO m) => StateMachine model cmd m resp -> Commands cmd resp -> PropertyM m (History cmd resp, model Concrete, Reason)
quickcheck-state-machine Test.StateMachine
runCommandsWithSetup :: (Show (cmd Concrete), Show (resp Concrete)) => (Traversable cmd, Foldable resp) => (MonadMask m, MonadIO m) => m (StateMachine model cmd m resp) -> Commands cmd resp -> PropertyM m (History cmd resp, model Concrete, Reason)
quickcheck-state-machine Test.StateMachine