Safe Haskell | None |
---|

SYB compatibility layer. This module serves as a drop-in replacement in some situations for some of the SYB operations. Users should also import Data.Generics.Uniplate.Data.

SYB is described in the paper: "Scrap your boilerplate: a practical design pattern for generic programming" by Ralf Lammel and Simon Peyton Jones.

- gmapT :: Uniplate a => (a -> a) -> a -> a
- gmapQl :: Uniplate a => (r -> r' -> r) -> r -> (a -> r') -> a -> r
- gmapQr :: Uniplate a => (r' -> r -> r) -> r -> (a -> r') -> a -> r
- gmapQ :: Uniplate a => (a -> u) -> a -> [u]
- gmapQi :: Uniplate a => Int -> (a -> u) -> a -> u
- gmapM :: (Uniplate a, Monad m) => (a -> m a) -> a -> m a
- mkT :: (a -> a) -> a -> a
- everywhere :: Biplate b a => (a -> a) -> b -> b
- mkM :: Monad m => (a -> m a) -> a -> m a
- everywhereM :: (Biplate b a, Monad m) => (a -> m a) -> b -> m b
- mkQ :: r -> (a -> r) -> (r, a -> r)
- everything :: Biplate b a => (r -> r -> r) -> (r, a -> r) -> b -> r

# Documentation

everywhere :: Biplate b a => (a -> a) -> b -> bSource

`everywhere == ``transformBi`

everywhereM :: (Biplate b a, Monad m) => (a -> m a) -> b -> m bSource

`everywhereM == ``transformBiM`

mkQ :: r -> (a -> r) -> (r, a -> r)Source

Only for use with `everything`

everything :: Biplate b a => (r -> r -> r) -> (r, a -> r) -> b -> rSource

Use `universe`

or `universeBi`

, perhaps followed by a fold.

Not an exact equivalent to the SYB `everything`

, as the
operators may be applied in different orders.