ideas-1.6: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Common.Strategy.Traversal

Contents

Description

Parameterized traversals based on the strategy language.

Synopsis

Parameterized traversals

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

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

Options

data Option a Source #

Instances

Monoid (Option a) Source # 

Methods

mempty :: Option a #

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

mconcat :: [Option a] -> Option a #

parentFilter :: Navigator a => (a -> [Int]) -> Option a Source #

One-pass traversals

fulltd :: (IsStrategy f, Navigator a) => f a -> Strategy a Source #

fullbu :: (IsStrategy f, Navigator a) => f a -> Strategy a Source #

oncetd :: (IsStrategy f, Navigator a) => f a -> Strategy a Source #

oncebu :: (IsStrategy f, Navigator a) => f a -> Strategy a Source #

somewhereWhen :: (IsStrategy g, Navigator a) => (a -> Bool) -> g a -> Strategy a Source #

Fixpoint traversals

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

left-most innermost traversal.

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

left-most outermost traversal.

Navigator rules