Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.QuickCheck.StateModel.Lockstep.Op.Identity

Synopsis

data Op a b where
- OpId :: Op a a

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 #