quickcheck-lockstep-0.2.1: Library for lockstep-style testing with 'quickcheck-dynamic'
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.QuickCheck.StateModel.Lockstep.Op.Identity

Synopsis

Documentation

data Op a b where Source #

Very simple operation type that supports identity only

This can be used by tests that don't need to map over variables. That is, where variables always refer to the exact result of previously executed commands. Such tests will not need to define any InterpretOp instances.

Constructors

OpId :: Op a a 

Instances

Instances details
Operation Op Source # 
Instance details

Defined in Test.QuickCheck.StateModel.Lockstep.Op.Identity

Methods

opIdentity :: Op a a Source #

InterpretOp Op f Source # 
Instance details

Defined in Test.QuickCheck.StateModel.Lockstep.Op.Identity

Methods

intOp :: Op a b -> f a -> Maybe (f b) Source #

Show (Op a b) Source # 
Instance details

Defined in Test.QuickCheck.StateModel.Lockstep.Op.Identity

Methods

showsPrec :: Int -> Op a b -> ShowS #

show :: Op a b -> String #

showList :: [Op a b] -> ShowS #

Eq (Op a b) Source # 
Instance details

Defined in Test.QuickCheck.StateModel.Lockstep.Op.Identity

Methods

(==) :: Op a b -> Op a b -> Bool #

(/=) :: Op a b -> Op a b -> Bool #