StrategyLib
Contents
Index
OverloadingTheme
Synopsis
class
Monad m =>
Strategy
s m
where
voidS
:: s m ->
TU
() m
seqS
::
TP
m -> s m -> s m
passS
::
TU
a m -> (a -> s m) -> s m
class
(Monad m,
Strategy
s m) =>
StrategyMonoid
s m
where
skipS
:: s m
allS
:: s m -> s m
combS
:: s m -> s m -> s m
class
(
Strategy
s m, Monad m, MonadPlus m) =>
StrategyPlus
s m
where
failS
:: s m
choiceS
:: s m -> s m -> s m
oneS
:: s m -> s m
class
(
Strategy
s m, Monad m,
Term
t) =>
StrategyApply
s m t x | s t -> x
where
applyS
:: s m -> t -> m x
adhocS
:: s m -> (t -> m x) -> s m
class
StrategyMSubst
s
where
msubstS
:: (Monad m, Monad m') => (
forall
t . m t -> m' t) -> s m -> s m'
Produced by
Haddock
version 0.6