|
Data.Generics.Strafunski.StrategyLib.StrategyPrimitives |
|
|
|
|
|
|
Documentation |
|
class Data x => Term x |
| Instances | |
|
|
data TP m |
Instances | |
|
|
data TU a m |
Instances | |
|
|
paraTP :: Monad m => (forall t . t -> m t) -> TP m |
|
paraTU :: Monad m => (forall t . t -> m a) -> TU a m |
|
applyTP :: (Monad m, Data x) => TP m -> x -> m x |
|
applyTU :: (Monad m, Data x) => TU a m -> x -> m a |
|
adhocTP :: (Monad m, Data t) => TP m -> (t -> m t) -> TP m |
|
adhocTU :: (Monad m, Data t) => TU a m -> (t -> m a) -> TU a m |
|
msubstTP :: (Monad m, Monad m') => (forall t . m t -> m' t) -> TP m -> TP m' |
|
msubstTU :: (Monad m, Monad m') => (m a -> m' a) -> TU a m -> TU a m' |
|
seqTP :: Monad m => TP m -> TP m -> TP m |
|
seqTU :: Monad m => TP m -> TU a m -> TU a m |
|
passTP :: Monad m => TU a m -> (a -> TP m) -> TP m |
|
passTU :: Monad m => TU a m -> (a -> TU b m) -> TU b m |
|
choiceTP :: MonadPlus m => TP m -> TP m -> TP m |
|
choiceTU :: MonadPlus m => TU a m -> TU a m -> TU a m |
|
allTP :: Monad m => TP m -> TP m |
|
allTU :: Monad m => (a -> a -> a) -> a -> TU a m -> TU a m |
|
allTU' :: (Monad m, Monoid a) => TU a m -> TU a m |
|
oneTP :: MonadPlus m => TP m -> TP m |
|
oneTU :: MonadPlus m => TU a m -> TU a m |
|
anyTP :: MonadPlus m => TP m -> TP m |
|
anyTU :: MonadPlus m => (a -> a -> a) -> a -> TU a m -> TU a m |
|
anyTU' :: (MonadPlus m, Monoid a) => TU a m -> TU a m |
|
someTP :: MonadPlus m => TP m -> TP m |
|
someTU :: MonadPlus m => (a -> a -> a) -> a -> TU a m -> TU a m |
|
someTU' :: (Monoid a, MonadPlus m) => TU a m -> TU a m |
|
injTP :: MonadPlus m => TP m -> TP m |
|
Produced by Haddock version 0.8 |