Ideas.Common.Strategy.Traversal

Parameterized traversals based on the strategy language.

Parameterized traversals

layer :: (IsStrategy f, Navigator a) => [Option a] -> f a -> Strategy a

traverse :: (IsStrategy f, Navigator a) => [Option a] -> f a -> Strategy a

Options

data Option a

Instances

Semigroup (Option a)

Methods

(<>) :: Option a -> Option a -> Option a

sconcat :: NonEmpty (Option a) -> Option a

stimes :: Integral b => b -> Option a -> Option a

Monoid (Option a)

Methods

mempty :: Option a

mappend :: Option a -> Option a -> Option a

mconcat :: [Option a] -> 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

One-pass traversals

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

Fixpoint traversals

innermost :: (IsStrategy f, Navigator a) => f a -> Strategy a

left-most innermost traversal.

outermost :: (IsStrategy f, Navigator a) => f a -> Strategy a

left-most outermost traversal.

Navigator rules

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