StrategyLibContentsIndex
FlowTheme
Synopsis
tryS :: (StrategyPlus s m, StrategyMonoid s m) => s m -> s m
tryTP :: MonadPlus m => TP m -> TP m
tryTU :: (MonadPlus m, Monoid u) => TU u m -> TU u m
testS :: Strategy s m => s m -> TP m
testTP :: Monad m => TP m -> TP m
testTU :: Monad m => TU a m -> TP m
ifS :: StrategyPlus s m => TU u m -> (u -> s m) -> s m -> s m
ifTP :: MonadPlus m => TU u m -> (u -> TP m) -> TP m -> TP m
ifTU :: MonadPlus m => TU u m -> (u -> TU u' m) -> TU u' m -> TU u' m
ifthenS :: Strategy s m => TU () m -> s m -> s m
ifthenTP :: Monad m => TU () m -> TP m -> TP m
ifthenTU :: Monad m => TU () m -> TU u m -> TU u m
notS :: StrategyPlus s m => s m -> TP m
notTP :: MonadPlus m => TP m -> TP m
notTU :: MonadPlus m => TU u m -> TP m
xchoiceS :: StrategyPlus s m => s m -> s m -> s m
xchoiceTP :: MonadPlus m => TP m -> TP m -> TP m
xchoiceTU :: MonadPlus m => TU u m -> TU u m -> TU u m
filterTP :: (Term t, MonadPlus m) => (t -> Bool) -> TP m
filterTU :: (Term t, MonadPlus m) => (t -> Bool) -> TU t m
tickTU :: (Monad m, Term t, Num n) => (t -> Bool) -> TU n m
type TypeGuard a = a -> ()
typeGuard :: TypeGuard a
typeTickTU :: (Term t, Monad m, Num n) => TypeGuard t -> TU n m
typeFilterTP :: (Term t, MonadPlus m) => TypeGuard t -> TP m
typeFilterTU :: (Term t, MonadPlus m) => TypeGuard t -> TU t m
Produced by Haddock version 0.6