Safe Haskell	None
Language	Haskell2010

Test.MuCheck.Utils.Syb

Description

SYB functions

Synopsis

Documentation

relevantOps :: (Data a, Eq a) => a -> [MuOp] -> [MuOp] Source

The function relevantOps does two filters. For the first, it removes spurious transformations like "Int 1 ~~> Int 1". Secondly, it tries to apply the transformation to the given program on some element if it does not succeed, then we discard that transformation.

once :: MonadPlus m => GenericM m -> GenericM m Source

apply a mutating function on a piece of code one at a time like somewhere (from so)