Copyright	(C) 2017 ATS Advanced Telematic Systems GmbH
License	BSD-style (see the file LICENSE)
Maintainer	Stevan Andjelkovic <stevan.andjelkovic@strath.ac.uk>
Stability	provisional
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell2010

Test.StateMachine

Contents

Sequential property combinators
Parallel property combinators
Types
Diffing class

Description

The main module for state machine based testing, it contains combinators that help you build sequential and parallel properties.

Synopsis

forAllCommands :: forall prop (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (model :: (Type -> Type) -> Type) (m :: Type -> Type). (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
existsCommands :: forall model cmd (m :: Type -> Type) (resp :: (Type -> Type) -> Type) 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
runCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (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)
prettyCommands :: forall (m :: Type -> Type) (model :: (Type -> Type) -> Type) (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). (MonadIO m, CanDiff (model Concrete), Show (cmd Concrete), Show (resp Concrete)) => StateMachine model cmd m resp -> History cmd resp -> Property -> PropertyM m ()
prettyCommands' :: forall (m :: Type -> Type) (model :: (Type -> Type) -> Type) tag (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). (MonadIO m, CanDiff (model Concrete), CanDiff [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 ()
checkCommandNames :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). CommandNames cmd => Commands cmd resp -> Property -> Property
coverCommandNames :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). CommandNames cmd => Commands cmd resp -> Property -> Property
commandNames :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). CommandNames cmd => Commands cmd resp -> [(String, Int)]
commandNamesInOrder :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). CommandNames cmd => Commands cmd resp -> [String]
saveCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). (Show (cmd Symbolic), Show (resp Symbolic)) => FilePath -> Commands cmd resp -> Property -> Property
runSavedCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), Traversable cmd, Foldable resp, MonadMask m, MonadIO m, Read (cmd Symbolic), Read (resp Symbolic)) => StateMachine model cmd m resp -> FilePath -> PropertyM m (Commands cmd resp, History cmd resp, model Concrete, Reason)
showLabelledExamples :: forall tag (model :: (Type -> Type) -> Type) (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type). (Show tag, Show (model Symbolic), Show (cmd Symbolic), Show (resp Symbolic), Traversable cmd, Foldable resp) => StateMachine model cmd m resp -> ([Event model cmd resp Symbolic] -> [tag]) -> IO ()
showLabelledExamples' :: forall tag (model :: (Type -> Type) -> Type) (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type). (Show tag, Show (model Symbolic), Show (cmd Symbolic), Show (resp Symbolic), Traversable cmd, Foldable resp) => StateMachine model cmd m resp -> Maybe Int -> Int -> ([Event model cmd resp Symbolic] -> [tag]) -> (tag -> Bool) -> IO ()
noCleanup :: Monad m => model Concrete -> m ()
forAllParallelCommands :: forall prop (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (model :: (Type -> Type) -> Type) (m :: Type -> Type). (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
forAllNParallelCommands :: forall prop (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (model :: (Type -> Type) -> Type) (m :: Type -> Type). (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
forAllParallelCommandsNTimes :: forall prop (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (model :: (Type -> Type) -> Type) (m :: Type -> Type). (Testable prop, Show (cmd Symbolic), Show (resp Symbolic), Show (model Symbolic), Traversable cmd, Foldable resp) => StateMachine model cmd m resp -> Maybe Int -> Int -> (ParallelCommands cmd resp -> prop) -> Property
forAllNParallelCommandsNTimes :: forall prop (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (model :: (Type -> Type) -> Type) (m :: Type -> Type). (Testable prop, Show (cmd Symbolic), Show (resp Symbolic), Show (model Symbolic), Traversable cmd, Foldable resp) => StateMachine model cmd m resp -> Int -> Int -> (NParallelCommands cmd resp -> prop) -> Property
runNParallelCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), Traversable cmd, Foldable resp, MonadMask m, MonadUnliftIO m) => StateMachine model cmd m resp -> NParallelCommands cmd resp -> PropertyM m (History cmd resp, model Concrete, Logic)
runParallelCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), Traversable cmd, Foldable resp, MonadMask m, MonadUnliftIO m) => StateMachine model cmd m resp -> ParallelCommands cmd resp -> PropertyM m (History cmd resp, model Concrete, Logic)
runParallelCommands' :: forall cmd resp (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), Traversable cmd, Foldable resp, MonadMask m, MonadUnliftIO m) => StateMachine model cmd m resp -> (cmd Concrete -> resp Concrete) -> ParallelCommands cmd resp -> PropertyM m (History cmd resp, model Concrete, Logic)
runNParallelCommands' :: forall cmd resp (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), Traversable cmd, Foldable resp, MonadMask m, MonadUnliftIO m) => StateMachine model cmd m resp -> (cmd Concrete -> resp Concrete) -> NParallelCommands cmd resp -> PropertyM m (History cmd resp, model Concrete, Logic)
prettyNParallelCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), MonadIO m, Foldable cmd) => NParallelCommands cmd resp -> (History cmd resp, model Concrete, Logic) -> PropertyM m ()
prettyParallelCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), MonadIO m, Foldable cmd) => ParallelCommands cmd resp -> (History cmd resp, model Concrete, Logic) -> PropertyM m ()
prettyParallelCommandsWithOpts :: forall (m :: Type -> Type) (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) model. (MonadIO m, Foldable cmd, Show (cmd Concrete), Show (resp Concrete)) => ParallelCommands cmd resp -> Maybe GraphOptions -> (History cmd resp, model Concrete, Logic) -> PropertyM m ()
prettyNParallelCommandsWithOpts :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), MonadIO m, Foldable cmd) => NParallelCommands cmd resp -> Maybe GraphOptions -> (History cmd resp, model Concrete, Logic) -> PropertyM m ()
checkCommandNamesParallel :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (t :: Type -> Type). (Foldable t, CommandNames cmd) => ParallelCommandsF t cmd resp -> Property -> Property
coverCommandNamesParallel :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (t :: Type -> Type). (Foldable t, CommandNames cmd) => ParallelCommandsF t cmd resp -> Property -> Property
commandNamesParallel :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (t :: Type -> Type). (Foldable t, CommandNames cmd) => ParallelCommandsF t cmd resp -> [(String, Int)]
data StateMachine (model :: (Type -> Type) -> Type) (cmd :: (Type -> Type) -> Type) (m :: Type -> Type) (resp :: (Type -> Type) -> Type) = StateMachine (forall (r :: Type -> Type). model r) (forall (r :: Type -> Type). (Show1 r, Ord1 r) => model r -> cmd r -> resp r -> model r) (model Symbolic -> cmd Symbolic -> Logic) (model Concrete -> cmd Concrete -> resp Concrete -> Logic) (Maybe (model Concrete -> Logic)) (model Symbolic -> Maybe (Gen (cmd Symbolic))) (model Symbolic -> cmd Symbolic -> [cmd Symbolic]) (cmd Concrete -> m (resp Concrete)) (model Symbolic -> cmd Symbolic -> GenSym (resp Symbolic)) (model Concrete -> m ())
data Concrete a
data Symbolic a
data Reference a (r :: Type -> Type)
concrete :: Reference a Concrete -> a
reference :: Typeable a => a -> Reference a Concrete
newtype Opaque a = Opaque {
- unOpaque :: a
}
opaque :: Reference (Opaque a) Concrete -> a
data Reason
- = Ok
- | PreconditionFailed String
- | PostconditionFailed String
- | InvariantBroken String
- | ExceptionThrown String
- | MockSemanticsMismatch String
data GenSym a
genSym :: Typeable a => GenSym (Reference a Symbolic)
class CommandNames (cmd :: k -> Type) where
- cmdName :: forall (r :: k). cmd r -> String
- cmdNames :: forall (r :: k). Proxy (cmd r) -> [String]
module Test.StateMachine.Logic
class CanDiff x where
- type AnExpr x
- type ADiff x
- toDiff :: x -> AnExpr x
- exprDiff :: Proxy x -> AnExpr x -> AnExpr x -> ADiff x
- diffToDocCompact :: Proxy x -> ADiff x -> Doc AnsiStyle
- diffToDoc :: Proxy x -> ADiff x -> Doc AnsiStyle
- exprToDoc :: Proxy x -> AnExpr x -> Doc AnsiStyle

Sequential property combinators

forAllCommands Source #

Arguments

:: forall prop (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (model :: (Type -> Type) -> Type) (m :: Type -> Type). (Testable prop, Show (cmd Symbolic), Show (resp Symbolic), Show (model Symbolic), Traversable cmd, Foldable resp)
=> StateMachine model cmd m resp
-> Maybe Int	Minimum number of commands.
-> (Commands cmd resp -> prop)	Predicate.
-> Property

existsCommands Source #

Arguments

:: forall model cmd (m :: Type -> Type) (resp :: (Type -> Type) -> Type) prop. (Testable prop, Foldable resp, Show (model Symbolic), Show (cmd Symbolic), Show (resp Symbolic))
=> StateMachine model cmd m resp
-> [model Symbolic -> Gen (cmd Symbolic)]	Generators.
-> (Commands cmd resp -> prop)	Predicate.
-> Property

Generate commands from a list of generators.

runCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (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) Source #

prettyCommands :: forall (m :: Type -> Type) (model :: (Type -> Type) -> Type) (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). (MonadIO m, CanDiff (model Concrete), Show (cmd Concrete), Show (resp Concrete)) => StateMachine model cmd m resp -> History cmd resp -> Property -> PropertyM m () Source #

prettyCommands' :: forall (m :: Type -> Type) (model :: (Type -> Type) -> Type) tag (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). (MonadIO m, CanDiff (model Concrete), CanDiff [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 () Source #

Variant of prettyCommands that also prints the tags covered by each command.

checkCommandNames :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). CommandNames cmd => Commands cmd resp -> Property -> Property Source #

Print the percentage of each command used. The prefix check is an unfortunate remaining for backwards compatibility.

coverCommandNames :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). CommandNames cmd => Commands cmd resp -> Property -> Property Source #

Fail if some commands have not been executed.

commandNames :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). CommandNames cmd => Commands cmd resp -> [(String, Int)] Source #

commandNamesInOrder :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). CommandNames cmd => Commands cmd resp -> [String] Source #

saveCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). (Show (cmd Symbolic), Show (resp Symbolic)) => FilePath -> Commands cmd resp -> Property -> Property Source #

runSavedCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), Traversable cmd, Foldable resp, MonadMask m, MonadIO m, Read (cmd Symbolic), Read (resp Symbolic)) => StateMachine model cmd m resp -> FilePath -> PropertyM m (Commands cmd resp, History cmd resp, model Concrete, Reason) Source #

showLabelledExamples :: forall tag (model :: (Type -> Type) -> Type) (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type). (Show tag, Show (model Symbolic), Show (cmd Symbolic), Show (resp Symbolic), Traversable cmd, Foldable resp) => StateMachine model cmd m resp -> ([Event model cmd resp Symbolic] -> [tag]) -> IO () Source #

showLabelledExamples' Source #

Arguments

:: forall tag (model :: (Type -> Type) -> Type) (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type). (Show tag, Show (model Symbolic), Show (cmd Symbolic), Show (resp Symbolic), Traversable cmd, Foldable resp)
=> StateMachine model cmd m resp
-> Maybe Int	Seed
-> Int	Number of tests to run to find examples
-> ([Event model cmd resp Symbolic] -> [tag])
-> (tag -> Bool)	Tag filter (can be `const True`)
-> IO ()

Show minimal examples for each of the generated tags.

noCleanup :: Monad m => model Concrete -> m () Source #

Parallel property combinators

forAllParallelCommands Source #

Arguments

:: forall prop (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (model :: (Type -> Type) -> Type) (m :: Type -> Type). (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)	Predicate.
-> Property

forAllNParallelCommands Source #

Arguments

:: forall prop (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (model :: (Type -> Type) -> Type) (m :: Type -> Type). (Testable prop, Show (cmd Symbolic), Show (resp Symbolic), Show (model Symbolic), Traversable cmd, Foldable resp)
=> StateMachine model cmd m resp
-> Int	Number of threads
-> (NParallelCommands cmd resp -> prop)	Predicate.
-> Property

forAllParallelCommandsNTimes Source #

Arguments

:: forall prop (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (model :: (Type -> Type) -> Type) (m :: Type -> Type). (Testable prop, Show (cmd Symbolic), Show (resp Symbolic), Show (model Symbolic), Traversable cmd, Foldable resp)
=> StateMachine model cmd m resp
-> Maybe Int
-> Int
-> (ParallelCommands cmd resp -> prop)	Predicate.
-> Property

forAllNParallelCommandsNTimes Source #

Arguments

:: forall prop (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (model :: (Type -> Type) -> Type) (m :: Type -> Type). (Testable prop, Show (cmd Symbolic), Show (resp Symbolic), Show (model Symbolic), Traversable cmd, Foldable resp)
=> StateMachine model cmd m resp
-> Int	Number of threads
-> Int
-> (NParallelCommands cmd resp -> prop)	Predicate.
-> Property

runNParallelCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), Traversable cmd, Foldable resp, MonadMask m, MonadUnliftIO m) => StateMachine model cmd m resp -> NParallelCommands cmd resp -> PropertyM m (History cmd resp, model Concrete, Logic) Source #

runParallelCommands :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), Traversable cmd, Foldable resp, MonadMask m, MonadUnliftIO m) => StateMachine model cmd m resp -> ParallelCommands cmd resp -> PropertyM m (History cmd resp, model Concrete, Logic) Source #

runParallelCommands' :: forall cmd resp (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), Traversable cmd, Foldable resp, MonadMask m, MonadUnliftIO m) => StateMachine model cmd m resp -> (cmd Concrete -> resp Concrete) -> ParallelCommands cmd resp -> PropertyM m (History cmd resp, model Concrete, Logic) Source #

runNParallelCommands' :: forall cmd resp (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), Traversable cmd, Foldable resp, MonadMask m, MonadUnliftIO m) => StateMachine model cmd m resp -> (cmd Concrete -> resp Concrete) -> NParallelCommands cmd resp -> PropertyM m (History cmd resp, model Concrete, Logic) Source #

prettyNParallelCommands Source #

Arguments

:: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), MonadIO m, Foldable cmd)
=> NParallelCommands cmd resp
-> (History cmd resp, model Concrete, Logic)	Output of `runNParallelCommands`.
-> PropertyM m ()

prettyParallelCommands Source #

Arguments

:: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), MonadIO m, Foldable cmd)
=> ParallelCommands cmd resp
-> (History cmd resp, model Concrete, Logic)	Output of `runParallelCommands`.
-> PropertyM m ()

prettyParallelCommandsWithOpts Source #

Arguments

:: forall (m :: Type -> Type) (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) model. (MonadIO m, Foldable cmd, Show (cmd Concrete), Show (resp Concrete))
=> ParallelCommands cmd resp
-> Maybe GraphOptions
-> (History cmd resp, model Concrete, Logic)	Output of `runParallelCommands`.
-> PropertyM m ()

Takes the output of parallel program runs and pretty prints a counterexample if any of the runs fail.

prettyNParallelCommandsWithOpts Source #

Arguments

:: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (m :: Type -> Type) model. (Show (cmd Concrete), Show (resp Concrete), MonadIO m, Foldable cmd)
=> NParallelCommands cmd resp
-> Maybe GraphOptions
-> (History cmd resp, model Concrete, Logic)	Output of `runNParallelCommands`.
-> PropertyM m ()

Takes the output of parallel program runs and pretty prints a counterexample if any of the runs fail.

checkCommandNamesParallel :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (t :: Type -> Type). (Foldable t, CommandNames cmd) => ParallelCommandsF t cmd resp -> Property -> Property Source #

Print the percentage of each command used. The prefix check is an unfortunate remaining for backwards compatibility.

coverCommandNamesParallel :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (t :: Type -> Type). (Foldable t, CommandNames cmd) => ParallelCommandsF t cmd resp -> Property -> Property Source #

Fail if some commands have not been executed.

commandNamesParallel :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) (t :: Type -> Type). (Foldable t, CommandNames cmd) => ParallelCommandsF t cmd resp -> [(String, Int)] Source #

Types

data StateMachine (model :: (Type -> Type) -> Type) (cmd :: (Type -> Type) -> Type) (m :: Type -> Type) (resp :: (Type -> Type) -> Type) Source #

Constructors

StateMachine (forall (r :: Type -> Type). model r) (forall (r :: Type -> Type). (Show1 r, Ord1 r) => model r -> cmd r -> resp r -> model r) (model Symbolic -> cmd Symbolic -> Logic) (model Concrete -> cmd Concrete -> resp Concrete -> Logic) (Maybe (model Concrete -> Logic)) (model Symbolic -> Maybe (Gen (cmd Symbolic))) (model Symbolic -> cmd Symbolic -> [cmd Symbolic]) (cmd Concrete -> m (resp Concrete)) (model Symbolic -> cmd Symbolic -> GenSym (resp Symbolic)) (model Concrete -> m ())

data Concrete a Source #

Instances

Instances details

Eq1 Concrete Source #
Instance details Defined in Test.StateMachine.Types.References Methods liftEq :: (a -> b -> Bool) -> Concrete a -> Concrete b -> Bool #
Ord1 Concrete Source #
Instance details Defined in Test.StateMachine.Types.References Methods liftCompare :: (a -> b -> Ordering) -> Concrete a -> Concrete b -> Ordering #
Show1 Concrete Source #
Instance details Defined in Test.StateMachine.Types.References Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Concrete a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Concrete a] -> ShowS #
Show a => Show (Concrete a) Source #
Instance details Defined in Test.StateMachine.Types.References Methods showsPrec :: Int -> Concrete a -> ShowS # show :: Concrete a -> String # showList :: [Concrete a] -> ShowS #
Eq a => Eq (Concrete a) Source #
Instance details Defined in Test.StateMachine.Types.References Methods (==) :: Concrete a -> Concrete a -> Bool # (/=) :: Concrete a -> Concrete a -> Bool #
Ord a => Ord (Concrete a) Source #
Instance details Defined in Test.StateMachine.Types.References Methods compare :: Concrete a -> Concrete a -> Ordering # (<) :: Concrete a -> Concrete a -> Bool # (<=) :: Concrete a -> Concrete a -> Bool # (>) :: Concrete a -> Concrete a -> Bool # (>=) :: Concrete a -> Concrete a -> Bool # max :: Concrete a -> Concrete a -> Concrete a # min :: Concrete a -> Concrete a -> Concrete a #

data Symbolic a Source #

Instances

Instances details

Eq1 Symbolic Source #
Instance details Defined in Test.StateMachine.Types.References Methods liftEq :: (a -> b -> Bool) -> Symbolic a -> Symbolic b -> Bool #
Ord1 Symbolic Source #
Instance details Defined in Test.StateMachine.Types.References Methods liftCompare :: (a -> b -> Ordering) -> Symbolic a -> Symbolic b -> Ordering #
Show1 Symbolic Source #
Instance details Defined in Test.StateMachine.Types.References Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Symbolic a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Symbolic a] -> ShowS #
Typeable a => Read (Symbolic a) Source #
Instance details Defined in Test.StateMachine.Types.References Methods readsPrec :: Int -> ReadS (Symbolic a) # readList :: ReadS [Symbolic a] # readPrec :: ReadPrec (Symbolic a) # readListPrec :: ReadPrec [Symbolic a] #
Show (Symbolic a) Source #
Instance details Defined in Test.StateMachine.Types.References Methods showsPrec :: Int -> Symbolic a -> ShowS # show :: Symbolic a -> String # showList :: [Symbolic a] -> ShowS #
Eq (Symbolic a) Source #
Instance details Defined in Test.StateMachine.Types.References Methods (==) :: Symbolic a -> Symbolic a -> Bool # (/=) :: Symbolic a -> Symbolic a -> Bool #
Ord (Symbolic a) Source #
Instance details Defined in Test.StateMachine.Types.References Methods compare :: Symbolic a -> Symbolic a -> Ordering # (<) :: Symbolic a -> Symbolic a -> Bool # (<=) :: Symbolic a -> Symbolic a -> Bool # (>) :: Symbolic a -> Symbolic a -> Bool # (>=) :: Symbolic a -> Symbolic a -> Bool # max :: Symbolic a -> Symbolic a -> Symbolic a # min :: Symbolic a -> Symbolic a -> Symbolic a #
Typeable a => Read (Reference a Symbolic) Source #
Instance details Defined in Test.StateMachine.Types.References Methods readsPrec :: Int -> ReadS (Reference a Symbolic) # readList :: ReadS [Reference a Symbolic] # readPrec :: ReadPrec (Reference a Symbolic) # readListPrec :: ReadPrec [Reference a Symbolic] #

data Reference a (r :: Type -> Type) Source #

Instances

Instances details

Foldable (Reference a :: (Type -> Type) -> Type) Source #

Instance details

Defined in Test.StateMachine.Types.References

Methods

foldMap :: Monoid m => (forall x. p x -> m) -> Reference a p -> m Source #

Functor (Reference a :: (Type -> Type) -> Type) Source #

Instance details

Defined in Test.StateMachine.Types.References

Methods

fmap :: (forall x. p x -> q x) -> Reference a p -> Reference a q Source #

Traversable (Reference a :: (Type -> Type) -> Type) Source #

Instance details

Defined in Test.StateMachine.Types.References

Methods

traverse :: Applicative f => (forall a0. p a0 -> f (q a0)) -> Reference a p -> f (Reference a q) Source #

Generic (Reference a r) Source #

Instance details

Defined in Test.StateMachine.Types.References

Associated Types

type Rep (Reference a r)
Instance details Defined in Test.StateMachine.Types.References type Rep (Reference a r) = D1 ('MetaData "Reference" "Test.StateMachine.Types.References" "quickcheck-state-machine-0.10.2-3zpReUCfZqzFMsDfeaDStU-no-vendored-treediff" 'True) (C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (r a))))

Methods

from :: Reference a r -> Rep (Reference a r) x #

to :: Rep (Reference a r) x -> Reference a r #

Typeable a => Read (Reference a Symbolic) Source #

Instance details

Defined in Test.StateMachine.Types.References

Methods

readsPrec :: Int -> ReadS (Reference a Symbolic) #

readList :: ReadS [Reference a Symbolic] #

readPrec :: ReadPrec (Reference a Symbolic) #

readListPrec :: ReadPrec [Reference a Symbolic] #

(Show1 r, Show a) => Show (Reference a r) Source #

Instance details

Defined in Test.StateMachine.Types.References

Methods

showsPrec :: Int -> Reference a r -> ShowS #

show :: Reference a r -> String #

showList :: [Reference a r] -> ShowS #

(Eq a, Eq1 r) => Eq (Reference a r) Source #

Instance details

Defined in Test.StateMachine.Types.References

Methods

(==) :: Reference a r -> Reference a r -> Bool #

(/=) :: Reference a r -> Reference a r -> Bool #

(Ord a, Ord1 r) => Ord (Reference a r) Source #

Instance details

Defined in Test.StateMachine.Types.References

Methods

compare :: Reference a r -> Reference a r -> Ordering #

(<) :: Reference a r -> Reference a r -> Bool #

(<=) :: Reference a r -> Reference a r -> Bool #

(>) :: Reference a r -> Reference a r -> Bool #

(>=) :: Reference a r -> Reference a r -> Bool #

max :: Reference a r -> Reference a r -> Reference a r #

min :: Reference a r -> Reference a r -> Reference a r #

type Rep (Reference a r) Source #

Instance details

Defined in Test.StateMachine.Types.References

type Rep (Reference a r) = D1 ('MetaData "Reference" "Test.StateMachine.Types.References" "quickcheck-state-machine-0.10.2-3zpReUCfZqzFMsDfeaDStU-no-vendored-treediff" 'True) (C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (r a))))

concrete :: Reference a Concrete -> a Source #

reference :: Typeable a => a -> Reference a Concrete Source #

newtype Opaque a Source #

Constructors

Opaque
Fields unOpaque :: a

Instances

Instances details

Show (Opaque a) Source #
Instance details Defined in Test.StateMachine.Types.References Methods showsPrec :: Int -> Opaque a -> ShowS # show :: Opaque a -> String # showList :: [Opaque a] -> ShowS #
Eq a => Eq (Opaque a) Source #
Instance details Defined in Test.StateMachine.Types.References Methods (==) :: Opaque a -> Opaque a -> Bool # (/=) :: Opaque a -> Opaque a -> Bool #
Ord a => Ord (Opaque a) Source #
Instance details Defined in Test.StateMachine.Types.References Methods compare :: Opaque a -> Opaque a -> Ordering # (<) :: Opaque a -> Opaque a -> Bool # (<=) :: Opaque a -> Opaque a -> Bool # (>) :: Opaque a -> Opaque a -> Bool # (>=) :: Opaque a -> Opaque a -> Bool # max :: Opaque a -> Opaque a -> Opaque a # min :: Opaque a -> Opaque a -> Opaque a #

opaque :: Reference (Opaque a) Concrete -> a Source #

data Reason Source #

Constructors

Ok
PreconditionFailed String
PostconditionFailed String
InvariantBroken String
ExceptionThrown String
MockSemanticsMismatch String

Instances

Instances details

Show Reason Source #
Instance details Defined in Test.StateMachine.Types Methods showsPrec :: Int -> Reason -> ShowS # show :: Reason -> String # showList :: [Reason] -> ShowS #
Eq Reason Source #
Instance details Defined in Test.StateMachine.Types Methods (==) :: Reason -> Reason -> Bool # (/=) :: Reason -> Reason -> Bool #

data GenSym a Source #

Instances

Instances details

Applicative GenSym Source #
Instance details Defined in Test.StateMachine.Types.GenSym Methods pure :: a -> GenSym a # (<>) :: GenSym (a -> b) -> GenSym a -> GenSym b # liftA2 :: (a -> b -> c) -> GenSym a -> GenSym b -> GenSym c # (>) :: GenSym a -> GenSym b -> GenSym b # (<*) :: GenSym a -> GenSym b -> GenSym a #
Functor GenSym Source #
Instance details Defined in Test.StateMachine.Types.GenSym Methods fmap :: (a -> b) -> GenSym a -> GenSym b # (<$) :: a -> GenSym b -> GenSym a #
Monad GenSym Source #
Instance details Defined in Test.StateMachine.Types.GenSym Methods (>>=) :: GenSym a -> (a -> GenSym b) -> GenSym b # (>>) :: GenSym a -> GenSym b -> GenSym b # return :: a -> GenSym a #

genSym :: Typeable a => GenSym (Reference a Symbolic) Source #

class CommandNames (cmd :: k -> Type) where Source #

The names of all possible commands

This is used for things like tagging, coverage checking, etc.

Minimal complete definition

Nothing

Methods

cmdName :: forall (r :: k). cmd r -> String Source #

Name of this particular command

default cmdName :: forall (r :: k). (Generic1 cmd, CommandNames (Rep1 cmd)) => cmd r -> String Source #

cmdNames :: forall (r :: k). Proxy (cmd r) -> [String] Source #

Name of all possible commands

default cmdNames :: forall (r :: k). CommandNames (Rep1 cmd) => Proxy (cmd r) -> [String] Source #

Instances

Instances details

CommandNames (U1 :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: forall (r :: k). U1 r -> String Source # cmdNames :: forall (r :: k). Proxy (U1 r) -> [String] Source #
CommandNames f => CommandNames (Rec1 f :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: forall (r :: k). Rec1 f r -> String Source # cmdNames :: forall (r :: k). Proxy (Rec1 f r) -> [String] Source #
(CommandNames f, CommandNames g) => CommandNames (f :*: g :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: forall (r :: k). (f :: g) r -> String Source # cmdNames :: forall (r :: k). Proxy ((f :: g) r) -> [String] Source #
(CommandNames f, CommandNames g) => CommandNames (f :+: g :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: forall (r :: k). (f :+: g) r -> String Source # cmdNames :: forall (r :: k). Proxy ((f :+: g) r) -> [String] Source #
CommandNames (K1 i c :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: forall (r :: k). K1 i c r -> String Source # cmdNames :: forall (r :: k). Proxy (K1 i c r) -> [String] Source #
Constructor c => CommandNames (M1 C c f :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: forall (r :: k). M1 C c f r -> String Source # cmdNames :: forall (r :: k). Proxy (M1 C c f r) -> [String] Source #
CommandNames f => CommandNames (M1 D c f :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: forall (r :: k). M1 D c f r -> String Source # cmdNames :: forall (r :: k). Proxy (M1 D c f r) -> [String] Source #
CommandNames f => CommandNames (M1 S c f :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: forall (r :: k). M1 S c f r -> String Source # cmdNames :: forall (r :: k). Proxy (M1 S c f r) -> [String] Source #