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.

Synopsis

value gmapT
value gmapQl
value gmapQr
value gmapQ
value gmapQi
value gmapM
value mkT
value everywhere
value mkM
value everywhereM
value mkQ
value everything

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

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

Source#

gmapT == descend

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

Source#

Use children and foldl

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

Source#

Use children and foldr

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

Source#

Use children

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

Source#

Use children and !!

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

Source#

gmapM == descendM

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

Source#

mkT == id

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

Source#

everywhere == transformBi

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

Source#

mkM == id

valueeverywhereM

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

Source#

everywhereM == transformBiM

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

Source#

Only for use with everything

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

Source#

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.