projects
/
ghc-base.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
52a9458
)
Generalise type of forever :: (Monad m) => m a -> m b
author
Don Stewart
<dons@galois.com>
Tue, 29 Jan 2008 19:19:40 +0000
(19:19 +0000)
committer
Don Stewart
<dons@galois.com>
Tue, 29 Jan 2008 19:19:40 +0000
(19:19 +0000)
Control/Monad.hs
patch
|
blob
|
history
diff --git
a/Control/Monad.hs
b/Control/Monad.hs
index
b7785dd
..
479a78c
100644
(file)
--- a/
Control/Monad.hs
+++ b/
Control/Monad.hs
@@
-39,7
+39,7
@@
module Control.Monad
, (=<<) -- :: (Monad m) => (a -> m b) -> m a -> m b
, (>=>) -- :: (Monad m) => (a -> m b) -> (b -> m c) -> (a -> m c)
, (<=<) -- :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c)
, (=<<) -- :: (Monad m) => (a -> m b) -> m a -> m b
, (>=>) -- :: (Monad m) => (a -> m b) -> (b -> m c) -> (a -> m c)
, (<=<) -- :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c)
- , forever -- :: (Monad m) => m a -> m ()
+ , forever -- :: (Monad m) => m a -> m b
-- ** Generalisations of list functions
-- ** Generalisations of list functions
@@
-187,7
+187,7
@@
f >=> g = \x -> f x >>= g
(<=<) = flip (>=>)
-- | @'forever' act@ repeats the action infinitely.
(<=<) = flip (>=>)
-- | @'forever' act@ repeats the action infinitely.
-forever :: (Monad m) => m a -> m ()
+forever :: (Monad m) => m a -> m b
forever a = a >> forever a
-- -----------------------------------------------------------------------------
forever a = a >> forever a
-- -----------------------------------------------------------------------------