| Safe Haskell | None |
|---|
Data.Generics.Biplate
Description
DEPRECATED: 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:
- Data.Generics.PlateDirect - does not require overlapping instances, highest performance but requires O(n^2) instances in the worst case.
- Data.Generics.PlateTypeable - requires the Data.Typeable class for all data structures.
- Data.Generics.PlateData - requires Data.Generics and the
Dataclass, which is only available on GHC, but automatically infers instances.
- 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
rewriteBiM :: (Monad m, Biplate from to) => (to -> m (Maybe to)) -> from -> m fromSource
descendBiM :: (Monad m, Biplate from to) => (to -> m to) -> from -> m fromSource
Others
contextsBi :: Biplate from to => from -> [(to, to -> from)]Source