 | uniplate-1.5.1: Help writing simple, concise and fast generic operations. | Source code | Contents | Index |
| Data.Generics.UniplateStrOn |
| Contents |
RECOMMENDATION: 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, descendOn and holesOn should perform identically to their non On counterparts.
| module Data.Generics.UniplateStr |
| type BiplateType from to = from -> (Str to, Str to -> from) |
| universeOn :: Uniplate to => BiplateType from to -> from -> [to] |
| childrenOn :: Uniplate to => BiplateType from to -> from -> [to] |
| transformOn :: Uniplate to => BiplateType from to -> (to -> to) -> from -> from |
| transformOnM :: (Monad m, Uniplate to) => BiplateType from to -> (to -> m to) -> from -> m from |
| rewriteOn :: Uniplate to => BiplateType from to -> (to -> Maybe to) -> from -> from |
| rewriteOnM :: (Monad m, Uniplate to) => BiplateType from to -> (to -> m (Maybe to)) -> from -> m from |
| descendOn :: Uniplate to => BiplateType from to -> (to -> to) -> from -> from |
| descendOnM :: (Monad m, Uniplate to) => BiplateType from to -> (to -> m to) -> from -> m from |
| holesOn :: Uniplate to => BiplateType from to -> from -> [(to, to -> from)] |
| contextsOn :: Uniplate to => BiplateType from to -> from -> [(to, to -> from)] |
| uniplateOnList :: BiplateType a b -> BiplateType [a] b |
| type BiplateType from to = from -> (Str to, Str to -> from) | Source |
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.
| universeOn :: Uniplate to => BiplateType from to -> from -> [to] | Source |
| childrenOn :: Uniplate to => BiplateType from to -> from -> [to] | Source |
| transformOn :: Uniplate to => BiplateType from to -> (to -> to) -> from -> from | Source |
| transformOnM :: (Monad m, Uniplate to) => BiplateType from to -> (to -> m to) -> from -> m from | Source |
| rewriteOn :: Uniplate to => BiplateType from to -> (to -> Maybe to) -> from -> from | Source |
| rewriteOnM :: (Monad m, Uniplate to) => BiplateType from to -> (to -> m (Maybe to)) -> from -> m from | Source |
| descendOn :: Uniplate to => BiplateType from to -> (to -> to) -> from -> from | Source |
| descendOnM :: (Monad m, Uniplate to) => BiplateType from to -> (to -> m to) -> from -> m from | Source |
| holesOn :: Uniplate to => BiplateType from to -> from -> [(to, to -> from)] | Source |
| contextsOn :: Uniplate to => BiplateType from to -> from -> [(to, to -> from)] | Source |
| uniplateOnList :: BiplateType a b -> BiplateType [a] b | Source |