Ideas.Common.Strategy.Traversal

Contents

• Options
• One-pass traversals
• Fixpoint traversals

Description

Synopsis

• 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
• 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
• ruleDown :: Navigator a => Rule a
• ruleDownLast :: Navigator a => Rule a
• ruleUp :: Navigator a => Rule a

Documentation

Options

One-pass traversals

Fixpoint traversals