StrategyLibContentsIndex
StrategyPrimitives
Synopsis
class Typeable t => Term t
data TP m
data TU a m
paraTP :: Monad m => (forall t . t -> m t) -> TP m
paraTU :: Monad m => (forall t . t -> m a) -> TU a m
applyTP :: (Monad m, Term t) => TP m -> t -> m t
applyTU :: (Monad m, Term t) => TU a m -> t -> m a
adhocTP :: (Monad m, Term t) => TP m -> (t -> m t) -> TP m
adhocTU :: (Monad m, Term 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.6