| Maintainer | Ralf Laemmel, Joost Visser |
|---|---|
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell98 |
Data.Generics.Strafunski.StrategyLib.MonadicFunctions
Contents
Description
This module is part of StrategyLib, a library of functional strategy
combinators, including combinators for generic traversal. This module
defines auxilliary monadic functions, some of which serve as parametric
polymorphic prototypes for actual strategy combinators.
- succeed :: Maybe x -> x
- mseq :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
- mlet :: Monad m => (a -> m b) -> (b -> a -> m c) -> a -> m c
- mchoice :: MonadPlus m => (a -> m b) -> (a -> m b) -> a -> m b
- argtype :: MonadPlus m => (x -> y) -> x -> m ()
- valtype :: MonadPlus m => x -> x -> m ()
- ifM :: MonadPlus m => m a -> (a -> m c) -> m c -> m c
Recover from partiality
succeed :: Maybe x -> x Source
Force success. If the argument value corresponds to failure, a run-time error will occur.
Prototypes for strategy combinators seq, let, choice
mseq :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c Source
Sequential composition of monadic functions
mlet :: Monad m => (a -> m b) -> (b -> a -> m c) -> a -> m c Source
Sequential composition with value passing; a kind of monadic let.
mchoice :: MonadPlus m => (a -> m b) -> (a -> m b) -> a -> m b Source
Choice combinator for monadic functions