Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.QuickCheck.StateModel.Lockstep.Op.SumProd

Synopsis

Documentation

data Op a b where Source #

Operations with support for products (pairs) and sums (Either)

Constructors

Instances details

Operation Op Source #
Instance details Defined in Test.QuickCheck.StateModel.Lockstep.Op.SumProd Methods opIdentity :: Op a a Source #
InterpretOp Op (WrapRealized IO) Source #
Instance details Defined in Test.QuickCheck.StateModel.Lockstep.Op.SumProd Methods intOp :: Op a b -> WrapRealized IO a -> Maybe (WrapRealized IO b) Source #
InterpretOp Op (WrapRealized m) => InterpretOp Op (WrapRealized (ReaderT r m)) Source #
Instance details Defined in Test.QuickCheck.StateModel.Lockstep.Op.SumProd Methods intOp :: Op a b -> WrapRealized (ReaderT r m) a -> Maybe (WrapRealized (ReaderT r m) b) Source #
InterpretOp Op (WrapRealized m) => InterpretOp Op (WrapRealized (StateT s m)) Source #
Instance details Defined in Test.QuickCheck.StateModel.Lockstep.Op.SumProd Methods intOp :: Op a b -> WrapRealized (StateT s m) a -> Maybe (WrapRealized (StateT s m) b) Source #
Show (Op a b) Source #
Instance details Defined in Test.QuickCheck.StateModel.Lockstep.Op.SumProd 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.SumProd Methods (==) :: Op a b -> Op a b -> Bool # (/=) :: Op a b -> Op a b -> Bool #