uniplate-1.5.1: Help writing simple, concise and fast generic operations.Source codeContentsIndex
Data.Generics.Biplate
Contents
The Class
The Operations
Queries
Transformations
Others
Description

RECOMMENDATION: Use Data.Generics.Uniplate.Operations instead.

Requires multi-parameter type classes, so is no longer Haskell 98. These operations are easier to use and construct than the equivalent Data.Generics.UniplateStrOn methods, but perform the same operation.

It is recommended that instead of importing this module, you import one of the following modules, to construct instances:

Synopsis
module Data.Generics.UniplateStrOn
class Uniplate to => Biplate from to where
biplate :: BiplateType from to
biplateList :: Biplate from to => from -> ([to], [to] -> from)
universeBi :: Biplate from to => from -> [to]
childrenBi :: Biplate from to => from -> [to]
transformBi :: Biplate from to => (to -> to) -> from -> from
transformBiM :: (Monad m, Biplate from to) => (to -> m to) -> from -> m from
rewriteBi :: Biplate from to => (to -> Maybe to) -> from -> from
rewriteBiM :: (Monad m, Biplate from to) => (to -> m (Maybe to)) -> from -> m from
descendBi :: Biplate from to => (to -> to) -> from -> from
descendBiM :: (Monad m, Biplate from to) => (to -> m to) -> from -> m from
contextsBi :: Biplate from to => from -> [(to, to -> from)]
holesBi :: Biplate from to => from -> [(to, to -> from)]
Documentation
module Data.Generics.UniplateStrOn
The Class
class Uniplate to => Biplate from to whereSource
Children are defined as the top-most items of type to starting at the root.
Methods
biplate :: BiplateType from toSource
biplateList :: Biplate from to => from -> ([to], [to] -> from)Source
Compatibility method, for direct users of the biplate function
The Operations
Queries
universeBi :: Biplate from to => from -> [to]Source
childrenBi :: Biplate from to => from -> [to]Source
Transformations
transformBi :: Biplate from to => (to -> to) -> from -> fromSource
transformBiM :: (Monad m, Biplate from to) => (to -> m to) -> from -> m fromSource
rewriteBi :: Biplate from to => (to -> Maybe to) -> from -> fromSource
rewriteBiM :: (Monad m, Biplate from to) => (to -> m (Maybe to)) -> from -> m fromSource
descendBi :: Biplate from to => (to -> to) -> from -> fromSource
descendBiM :: (Monad m, Biplate from to) => (to -> m to) -> from -> m fromSource
Others
contextsBi :: Biplate from to => from -> [(to, to -> from)]Source
holesBi :: Biplate from to => from -> [(to, to -> from)]Source
Produced by Haddock version 2.4.2