Test.QuickCheck.StateModel.Lockstep.Op.Identity

Documentation

data Op a b where

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

Operation Op

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

Methods

opIdentity :: Op a a

InterpretOp Op f

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

Methods

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

Show (Op a b)

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)

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

Methods

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

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