Test.MuCheck.MuOp

Mutation operators

Documentation

data MuOp

MuOp constructor used to specify mutation transformation

Instances

Eq MuOp

Show MuOp

MuOp instance for Show

class Mutable a where

Mutation operation representing translation from one fn to another fn.

Methods

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

Instances

Mutable QName

QName instance for Mutable

Mutable Name

Name instance for Mutable

Mutable QOp

QOp instance for Mutable

Mutable Decl

Exp instance for Mutable

Mutable GuardedRhs

GuardedRhs instance for Mutable

Mutable Literal

Literal instance for Mutable

Mutable Exp

Exp instance for Mutable

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

The function ==>* pairs up the given element with all elements of the second list, and applies ==> on them.

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

The function *==>* pairs up all elements of first list with all elements of second list and applies ==> between them.

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

The function ~~> accepts two values, and returns a function that if given a value equal to first, returns second we handle x ~~> x separately

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

A wrapper over mkMp

same :: MuOp -> Bool

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