Moduleuniplate-1.6.13Haskell2010

Data.Generics.UniplateOn

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

This module retained Haskell 98 compatability, but users who are happy with multi-parameter type classes should look towards Data.Generics.Biplate.

The only function missing from Data.Generics.Uniplate is fold, as it can be constructed from children and has little meaning in a multi-typed setting.

All operations, apart from childrenOn should perform identically to their non On counterparts.

1 type
11 values

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

module Data.Generics.Uniplate

valuechildrenOn :: Uniplate to => BiplateType from to -> from -> [to]

Return the children of a type. If to == from then it returns the original element (in contrast to children)

valuecontextsOn

:: Uniplate to
=> BiplateType from to
-> from
-> [(to, to -> from)]

valuedescendOn

:: Uniplate to
=> BiplateType from to
-> to -> to
-> from
-> from

valuedescendOnM

:: (Monad m, Uniplate to)
=> BiplateType from to
-> to -> m to
-> from
-> m from

valueholesOn :: Uniplate to => BiplateType from to -> from -> [(to, to -> from)]

valuerewriteOn

:: Uniplate to
=> BiplateType from to
-> to -> Maybe to
-> from
-> from

valuerewriteOnM

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

valuetransformOn

:: Uniplate to
=> BiplateType from to
-> to -> to
-> from
-> from

valuetransformOnM

:: (Monad m, Uniplate to)
=> BiplateType from to
-> to -> m to
-> from
-> m from

valueuniplateOnList :: BiplateType a b -> BiplateType [a] b

Used for defining instances UniplateFoo a => UniplateFoo [a]

valueuniverseOn :: Uniplate to => BiplateType from to -> from -> [to]

typetype BiplateType from to = from -> ([to], [to] -> from)

Return all the top most children of type to within from.

If from == to then this function should return the root as the single child.