From 743f62cdb37ffd730f6ab36357b25a263c93955d Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Tue, 29 Jan 2008 19:19:40 +0000 Subject: [PATCH] Generalise type of forever :: (Monad m) => m a -> m b --- Control/Monad.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Control/Monad.hs b/Control/Monad.hs index b7785dd..479a78c 100644 --- 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) - , forever -- :: (Monad m) => m a -> m () + , forever -- :: (Monad m) => m a -> m b -- ** Generalisations of list functions @@ -187,7 +187,7 @@ f >=> g = \x -> f x >>= g (<=<) = 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 -- ----------------------------------------------------------------------------- -- 1.7.10.4