Test.MuCheck.MuOp

Documentation

data MuOp

Instances

Eq MuOp

Show MuOp

class Mutable a where

Methods

(==>) :: a -> a -> MuOp

Instances

Mutable QName

Mutable Name

Mutable QOp

Mutable Decl

Mutable GuardedRhs

Mutable Literal

Mutable Exp

(==>*) :: Mutable a => a -> [a] -> [MuOp]

(*==>*) :: Mutable a => [a] -> [a] -> [MuOp]

(~~>) :: (MonadPlus m, Eq a) => a -> a -> a -> m a

mkMp' :: (MonadPlus m, Typeable a) => MuOp -> a -> m a

same :: MuOp -> Bool

The function same applies on a MuOP determining if transformation is between same values.