Strafunski-StrategyLib-5.0.0.9: Library for strategic programming

MaintainerRalf Laemmel, Joost Visser
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

Data.Generics.Strafunski.StrategyLib.FixpointTheme

Contents

Description

This module is part of StrategyLib, a library of functional strategy combinators, including combinators for generic traversal. This module defines combinators that iterate until some kind of fixpoint is reached.

Synopsis

Fixpoint Iteration

repeatTP :: MonadPlus m => TP m -> TP m Source #

Exhaustive repeated application at the root of the input term

Fixpoint Traversal

reduce :: MonadPlus m => TP m -> TP m Source #

Exhaustive repeated application throughout the input term.

outermost :: MonadPlus m => TP m -> TP m Source #

Exhaustive repeated application according to the left-most outermost traversal strategy.

innermost' :: MonadPlus m => TP m -> TP m Source #

Exhaustive repeated application according to the left-most innermost traversal strategy, implemented in a naive way. Use innermost instead.

innermost :: MonadPlus m => TP m -> TP m Source #

Exhaustive repeated application according to the left-most innermost traversal strategy, implemented in a more efficient way.