Safe Haskell	None
Language	GHC2021

Test.QuickCheck.StateModel.Lockstep.Op.Identity

Synopsis

data Op (a :: k) (b :: k) where
- OpId :: forall {k} (a :: k). Op a a

Documentation

data Op (a :: k) (b :: k) 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 :: forall {k} (a :: k). Op a a

Instances

Instances details

Operation (Op :: k -> k -> Type) Source #
Instance details Defined in Test.QuickCheck.StateModel.Lockstep.Op.Identity Methods opIdentity :: forall (a :: k). Op a a Source #
InterpretOp (Op :: k -> k -> Type) (f :: k -> Type) Source #
Instance details Defined in Test.QuickCheck.StateModel.Lockstep.Op.Identity Methods intOp :: forall (a :: k) (b :: k). 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 #