Test.QuickCheck.StateModel.Lockstep.Op.SumProd

Documentation

data Op a b where

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

Constructors

OpId :: Op a a

OpFst :: Op (a, b) a

OpSnd :: Op (b, a) a

OpLeft :: Op (Either a b) a

OpRight :: Op (Either b a) a

OpComp :: Op b c -> Op a b -> Op a c

Instances

Operation Op

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

Methods

opIdentity :: Op a a

Show (Op a b)

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)

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

Methods

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

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