StrategyLib
Contents
Index
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