StrategyLibContentsIndex
OverloadingTheme
Synopsis
class Monad m => Strategy s m where
voidS :: s m -> TU () m
seqS :: TP m -> s m -> s m
passS :: TU a m -> (a -> s m) -> s m
class (Monad m, Strategy s m) => StrategyMonoid s m where
skipS :: s m
allS :: s m -> s m
combS :: s m -> s m -> s m
class (Strategy s m, Monad m, MonadPlus m) => StrategyPlus s m where
failS :: s m
choiceS :: s m -> s m -> s m
oneS :: s m -> s m
class (Strategy s m, Monad m, Term t) => StrategyApply s m t x | s t -> x where
applyS :: s m -> t -> m x
adhocS :: s m -> (t -> m x) -> s m
class StrategyMSubst s where
msubstS :: (Monad m, Monad m') => (forall t . m t -> m' t) -> s m -> s m'
Produced by Haddock version 0.6