Add everywhereM' to Data.Generics.Schemes

Maciej Podgurski maciej.podgurski at
Mon Apr 12 14:56:48 EDT 2010


as an analogue to everywhere', I suggest adding everywhereM' to 
Data.Generics.Schemes. The implementation would be

    everywhereM' :: Monad m => GenericM m -> GenericM m
    everywhereM' f x = do { x' <- f x;
                            gmapM (everywhereM' f) x' }

Best wishes,


More information about the Libraries mailing list