Data.Generics.Strafunski.StrategyLib.StrategyInfix

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.

Documentation

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

Sequential composition

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

Sequential composition with value passing

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

Sequential composition, ignoring value from first strategy

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

Dynamic type-case