Ideas.Common.Strategy.Traversal

Contents

• Parameterized traversals
• Options
• One-pass traversals
• Fixpoint traversals
• Navigator rules

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
• 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

One-pass traversals

Fixpoint traversals

Navigator rules