StrategyLibContentsIndex
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