| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.QuickCheck.StateModel.Lockstep.Defaults
Description
Default implementations for the quickcheck-dynamic class methods
Intended for qualified import.
import Test.QuickCheck.StateModel.Lockstep.Defaults qualified as Lockstep
Synopsis
- initialState :: state -> Lockstep state
- nextState :: forall state a. (InLockstep state, Typeable a) => Lockstep state -> LockstepAction state a -> Var a -> Lockstep state
- precondition :: InLockstep state => Lockstep state -> LockstepAction state a -> Bool
- arbitraryAction :: InLockstep state => Lockstep state -> Gen (Any (LockstepAction state))
- shrinkAction :: InLockstep state => Lockstep state -> LockstepAction state a -> [Any (LockstepAction state)]
- postcondition :: forall m state a. RunLockstep state m => (Lockstep state, Lockstep state) -> LockstepAction state a -> LookUp m -> Realized m a -> m Bool
- monitoring :: forall m state a. RunLockstep state m => Proxy m -> (Lockstep state, Lockstep state) -> LockstepAction state a -> LookUp m -> Realized m a -> Property -> Property
Default implementations for methods of StateModel
initialState :: state -> Lockstep state Source #
Default implementation for initialState
nextState :: forall state a. (InLockstep state, Typeable a) => Lockstep state -> LockstepAction state a -> Var a -> Lockstep state Source #
Default implementation for nextState
precondition :: InLockstep state => Lockstep state -> LockstepAction state a -> Bool Source #
Default implementation for precondition
The default precondition only checks that all variables have a value and that the operations on them are defined.
arbitraryAction :: InLockstep state => Lockstep state -> Gen (Any (LockstepAction state)) Source #
Default implementation for arbitraryAction
shrinkAction :: InLockstep state => Lockstep state -> LockstepAction state a -> [Any (LockstepAction state)] Source #
Default implementation for shrinkAction
Default implementations for methods of RunModel
postcondition :: forall m state a. RunLockstep state m => (Lockstep state, Lockstep state) -> LockstepAction state a -> LookUp m -> Realized m a -> m Bool Source #
Default implementation for postcondition
The default postcondition verifies that the real system and the model return the same results, up to " observability ".
monitoring :: forall m state a. RunLockstep state m => Proxy m -> (Lockstep state, Lockstep state) -> LockstepAction state a -> LookUp m -> Realized m a -> Property -> Property Source #