| Portability | portable (depends on ghc) |
|---|---|
| Stability | provisional |
| Maintainer | bastiaan.heeren@ou.nl |
| Safe Haskell | None |
Ideas.Common.Strategy.Traversal
Description
- 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
- innermost :: (IsStrategy f, Navigator a) => f a -> Strategy a
- outermost :: (IsStrategy f, Navigator a) => f a -> Strategy a
- ruleDown :: Navigator a => Rule a
- ruleDownLast :: Navigator a => Rule a
- ruleUp :: Navigator a => Rule a
Documentation
Options
leftToRight :: Option aSource
rightToLeft :: Option aSource
traversalFilter :: (a -> Bool) -> Option aSource
parentFilter :: Navigator a => (a -> [Int]) -> Option aSource
One-pass traversals
fulltd :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
fullbu :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
oncetd :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
oncebu :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
leftmostbu :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
leftmosttd :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
somewhere :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
Fixpoint traversals
innermost :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
left-most innermost traversal.
outermost :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
left-most outermost traversal.
ruleDownLast :: Navigator a => Rule aSource