StrategyLib
Contents
Index
StrategyPrelude
Synopsis
module
StrategyPrimitives
idTP
:: Monad m =>
TP
m
failTP
:: MonadPlus m =>
TP
m
failTU
:: MonadPlus m =>
TU
a m
constTU
:: Monad m => a ->
TU
a m
compTU
:: Monad m => m a ->
TU
a m
monoTP
:: (
Term
a, MonadPlus m) => (a -> m a) ->
TP
m
monoTU
:: (
Term
a, MonadPlus m) => (a -> m b) ->
TU
b m
dotTU
:: Monad m => (a -> b) ->
TU
a m ->
TU
b m
op2TU
:: Monad m => (a -> b -> c) ->
TU
a m ->
TU
b m ->
TU
c m
voidTP
:: Monad m =>
TP
m ->
TU
() m
voidTU
:: Monad m =>
TU
u m ->
TU
() m
con
:: MonadPlus m =>
TP
m
com
:: MonadPlus m =>
TP
m
Produced by
Haddock
version 0.6