|
|
|
|
Synopsis |
|
|
|
Documentation |
|
(<.>) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c | Source |
|
|
|
|
|
|
|
|
|
|
|
|
|
Depending on the monad you have to look at the result for
the force to be effective. For the IO monad you do.
|
|
|
|
type Cont r a = (a -> r) -> r | Source |
|
|
|
mapM for the continuation monad. Terribly useful.
|
|
zipWithM' :: Monad m => (a -> b -> m c) -> [a] -> [b] -> m [c] | Source |
|
Requires both lists to have the same lengths.
|
|
|
Finally for the Error class. Errors in the finally part take
precedence over prior errors.
|
|
|
:: (Error e, MonadError e m) | | => m a | Acquires resource. Run first.
| -> a -> m c | Releases resource. Run last.
| -> a -> m b | Computes result. Run in-between.
| -> m b | | Bracket for the Error class.
|
|
|
|
|
|
|
|
|
<$> |
|
<*> |
|
Produced by Haddock version 2.4.2 |