Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
- 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
- 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
- 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
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
somewhere :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
Fixpoint traversals
innermost :: (IsStrategy f, Navigator a) => f a -> Strategy aSource
outermost :: (IsStrategy f, Navigator a) => f a -> Strategy aSource