Add everywhereM' to Data.Generics.Schemes

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


Hello,

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,

Maciej


More information about the Libraries mailing list