| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Ideas.Common.Strategy.Traversal
Description
Parameterized traversals based on the strategy language.
- layer :: (IsStrategy f, Navigator a) => [Option a] -> f a -> Strategy a
- traverse :: (IsStrategy f, Navigator a) => [Option a] -> f a -> Strategy a
- data Option a
- topdown :: Option a
- bottomup :: Option a
- leftToRight :: Option a
- rightToLeft :: Option a
- full :: Option a
- spine :: Option a
- stop :: Option a
- once :: Option a
- leftmost :: Option a
- rightmost :: Option a
- traversalFilter :: (a -> Bool) -> Option a
- parentFilter :: Navigator a => (a -> [Int]) -> Option a
- fulltd :: (IsStrategy f, Navigator a) => f a -> Strategy a
- fullbu :: (IsStrategy f, Navigator a) => f a -> Strategy a
- oncetd :: (IsStrategy f, Navigator a) => f a -> Strategy a
- oncebu :: (IsStrategy f, Navigator a) => f a -> Strategy a
- leftmostbu :: (IsStrategy f, Navigator a) => f a -> Strategy a
- leftmosttd :: (IsStrategy f, Navigator a) => f a -> Strategy a
- somewhere :: (IsStrategy f, Navigator a) => f a -> Strategy a
- somewhereWhen :: (IsStrategy g, Navigator a) => (a -> Bool) -> g a -> Strategy a
- oncetdPref :: (IsStrategy f, Navigator a) => f a -> Strategy a
- oncebuPref :: (IsStrategy f, Navigator a) => f a -> Strategy a
- innermost :: (IsStrategy f, Navigator a) => f a -> Strategy a
- outermost :: (IsStrategy f, Navigator a) => f a -> Strategy a
- ruleUp :: Navigator a => Rule a
- ruleDown :: Navigator a => Rule a
- ruleDownLast :: Navigator a => Rule a
- ruleLeft :: Navigator a => Rule a
- ruleRight :: Navigator a => Rule a
Parameterized traversals
Options
leftToRight :: Option a Source
rightToLeft :: Option a Source
traversalFilter :: (a -> Bool) -> Option a Source
parentFilter :: Navigator a => (a -> [Int]) -> Option a Source
One-pass traversals
fulltd :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
fullbu :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
oncetd :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
oncebu :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
leftmostbu :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
leftmosttd :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
somewhere :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
somewhereWhen :: (IsStrategy g, Navigator a) => (a -> Bool) -> g a -> Strategy a Source
oncetdPref :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
oncebuPref :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
Fixpoint traversals
innermost :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
left-most innermost traversal.
outermost :: (IsStrategy f, Navigator a) => f a -> Strategy a Source
left-most outermost traversal.
Navigator rules
ruleDownLast :: Navigator a => Rule a Source