Safe Haskell	None
Language	GHC2021

Test.QuickCheck.StateModel.Lockstep.Op

Documentation

class Operation (op :: k -> k -> Type) where Source #

Methods

opIdentity :: forall (a :: k). op a a Source #

Instances details

Operation Op Source #
Instance details Defined in Test.QuickCheck.StateModel.Lockstep.Op.SumProd Methods opIdentity :: Op a a Source #
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 #

class Operation op => InterpretOp (op :: k -> k -> Type) (f :: k -> Type) where Source #

Methods

intOp :: forall (a :: k) (b :: k). op a b -> f a -> Maybe (f b) Source #

Instances details

InterpretOp Op Identity Source #
Instance details Defined in Test.QuickCheck.StateModel.Lockstep.Op.SumProd Methods intOp :: Op a b -> Identity a -> Maybe (Identity b) 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 #

intOpIdentity :: (op a b -> a -> Maybe b) -> op a b -> Identity a -> Maybe (Identity b) Source #