MuCheck.Utils.Syb

SYB functions

Documentation

selectMany :: (Data a, Typeable b) => (b -> Bool) -> a -> [b]

select all code components satisfying a certain predicate

selectOne :: (Typeable a, Data a1) => (a -> Bool) -> a1 -> Maybe a

special case of selectMany, which selects the first components satisfying a predicate

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

selecting all relevant ops

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

apply a mutating function on a piece of code one at a time

once' :: (forall a. Data a => a -> Maybe a) -> forall a. Data a => a -> a