Moduleuniplate-1.6.13Haskell2010

Data.Generics.Biplate

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 Data class, which is only available on GHC, but automatically infers instances.

Synopsis

value biplateList
value childrenBi
value contextsBi
value descendBi
value descendBiM
value holesBi
value rewriteBi
value rewriteBiM
value transformBi
value transformBiM
value universeBi
class Biplate

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

module Data.Generics.UniplateStrOn

valuebiplateList :: Biplate from to => from -> ([to], [to] -> from)

Source#

Compatibility method, for direct users of the biplate function

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

valuecontextsBi :: Biplate from to => from -> [(to, to -> from)]

valuedescendBi :: Biplate from to => (to -> to) -> from -> from

valuedescendBiM :: (Monad m, Biplate from to) => (to -> m to) -> from -> m from

valueholesBi :: Biplate from to => from -> [(to, to -> from)]

valuerewriteBi :: Biplate from to => (to -> Maybe to) -> from -> from

valuerewriteBiM

:: (Monad m, Biplate from to)
=> to -> m (Maybe to)
-> from
-> m from

valuetransformBi :: Biplate from to => (to -> to) -> from -> from

valuetransformBiM :: (Monad m, Biplate from to) => (to -> m to) -> from -> m from

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

classclass Uniplate to => Biplate from to where

Source#

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

Methods

biplate :: BiplateType from to

Instances2Biplate

(Data a, Data b, Uniplate b, Typeable a, Typeable b) => Biplate a bDefined in uniplate-1.6.13 · Data.Generics.PlateData · orphan
(Typeable a, Typeable b, Uniplate b, PlateAll a b) => Biplate a bDefined in uniplate-1.6.13 · Data.Generics.PlateTypeable · orphan