13 Apr
2010
13 Apr
'10
2:56 a.m.
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