Safe Haskell | Safe-Inferred |
---|
Additional SYB combinators
- everywhereM' :: (Monad m, Data d) => (forall d1. Data d1 => d1 -> m d1) -> d -> m d
Documentation
everywhereM' :: (Monad m, Data d) => (forall d1. Data d1 => d1 -> m d1) -> d -> m dSource
Apply a top-down monadic transformation everywhere