Data.Generics.Biplate

uniplate-1.0: Uniform type generic traversals.

Data.Generics.Biplate

Contents

The Operations

Queries
Transformations
Others

Description

Requires multi-parameter type classes, so is no longer Haskell 98. These operations are easier to use and construct than the equivalent Data.Generics.UniplateOn 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 Data class, which is only available on GHC, but automatically infers instances.

Synopsis

module Data.Generics.UniplateOn

class Uniplate to => Biplate from to where

biplate :: BiplateType from to

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)]

Documentation

module Data.Generics.UniplateOn

class Uniplate to => Biplate from to where

Children are defined as the top-most items of type to starting at the root.

Methods

biplate :: BiplateType from to

show/hide

Instances

(Data a, Data b, Uniplate b, Typeable a, Typeable b) => Biplate a b

(Uniplate b, PlateAll a b) => Biplate a b

(Typeable a, Typeable b, Uniplate b, PlateAll a b) => Biplate a b

universeBi :: Biplate from to => from -> [to]

childrenBi :: Biplate from to => from -> [to]

Transformations

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)]

Produced by Haddock version 0.8