Data.Generics.Strafunski.StrategyLib.StrategyInfix

Portability	portable
Stability	experimental
Maintainer	Ralf Laemmel, Joost Visser

Description

This module is part of StrategyLib, a library of functional strategy combinators, including combinators for generic traversal. This module indicates how some strategy combinators could be denoted via infix combinators.

Synopsis

(>>>) :: Strategy s m => TP m -> s m -> s m

(>>>=) :: Strategy s m => TU a m -> (a -> s m) -> s m

(>>>-) :: Strategy s m => TU a m -> s m -> s m

(-+) :: StrategyApply s m t x => s m -> (t -> m x) -> s m

Documentation

(>>>) :: Strategy s m => TP m -> s m -> s m

Sequential composition

(>>>=) :: Strategy s m => TU a m -> (a -> s m) -> s m

Sequential composition with value passing

(>>>-) :: Strategy s m => TU a m -> s m -> s m

Sequential composition, ignoring value from first strategy

(-+) :: StrategyApply s m t x => s m -> (t -> m x) -> s m

Dynamic type-case

Produced by Haddock version 0.8