Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
StrategyMSubst TP | |
(Monad m, MonadPlus m, Strategy TP m) => StrategyPlus TP m | |
(Monad m, Strategy TP m) => StrategyMonoid TP m | |
Monad m => Strategy TP m | |
(Monad m, Term t) => StrategyApply TP m t t |
mchoicesTP :: (MonadUnTrans MaybeAlg t, MonadPlus (t m), Monad m) => [TP (t m)] -> TP m -> TP m Source
mchoicesTU :: (MonadUnTrans MaybeAlg t, MonadPlus (t m), Monad m) => [TU a (t m)] -> TU a m -> TU a m Source