Moduleuniplate-1.6.13Haskell2010

Data.Generics.Compos

Compos compatibility layer. This module serves as a drop-in replacement in some situations for some of the Compos operations. Only the single-type traversals are supported, on normal algebraic data types. Users should also import either Data.Generics.Uniplate.Data or Data.Generics.Uniplate.Direct.

Compos is described in the paper: "A Pattern for Almost Compositional Functions" by Bjorn Bringert and Aarne Ranta.

Synopsis

class Compos
value composOp
value composOpM
value composOpM_
value composOpMonoid
value composOpMPlus
value composOpFold

Packageuniplate-1.6.13
Exports7
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCompos.hs

classclass Uniplate a => Compos a

Source#

If you want to keep an existing type class

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

Source#

composOp == descend

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

Source#

composOpM == descendM

valuecomposOpM_ :: (Uniplate a, Monad m) => (a -> m ()) -> a -> m ()

Source#

composOpM_ == composOpFold (return ()) (>>)

valuecomposOpMonoid :: (Uniplate a, Monoid m) => (a -> m) -> a -> m

Source#

composOpMonoid = composOpFold mempty mappend

valuecomposOpMPlus :: (Uniplate a, MonadPlus m) => (a -> m b) -> a -> m b

Source#

composOpMPlus = composOpFold mzero mplus

valuecomposOpFold :: Uniplate a => b -> (b -> b -> b) -> (a -> b) -> a -> b

Source#

Probably replace with universe, perhaps para