Moduleuniplate-1.6.13Haskell2010

Data.Generics.SYB

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.

12 values

Packageuniplate-1.6.13
Exports12
LanguageHaskell2010
LicenceBSD-3-Clause
SourceSYB.hs

valuegmapT :: Uniplate a => (a -> a) -> a -> a

gmapT == descend

valuegmapQl :: Uniplate a => (r -> r' -> r) -> r -> (a -> r') -> a -> r

Use children and foldl

valuegmapQr :: Uniplate a => (r' -> r -> r) -> r -> (a -> r') -> a -> r

Use children and foldr

valuegmapQ :: Uniplate a => (a -> u) -> a -> [u]

Use children

valuegmapQi :: Uniplate a => Int -> (a -> u) -> a -> u

Use children and !!

valuegmapM :: (Uniplate a, Applicative m) => (a -> m a) -> a -> m a

gmapM == descendM

valuemkT :: (a -> a) -> a -> a

mkT == id

valueeverywhere :: Biplate b a => (a -> a) -> b -> b

everywhere == transformBi

valuemkM :: (a -> m a) -> a -> m a

mkM == id

valueeverywhereM

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

everywhereM == transformBiM

valuemkQ :: r -> (a -> r) -> (r, a -> r)

Only for use with everything

valueeverything :: Biplate b a => (r -> r -> r) -> (r, a -> r) -> b -> r

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.