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 |