Generalise `guard` for real this time
authorHerbert Valerio Riedel <hvr@gnu.org>
Sun, 28 Sep 2014 10:01:13 +0000 (12:01 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sun, 28 Sep 2014 10:01:13 +0000 (12:01 +0200)
This was missed in D253 / a07ce1654ac5b8033f2daf9270c6e182415b69ca

libraries/base/Control/Monad.hs

index 94318be..619a2ba 100644 (file)
@@ -87,7 +87,7 @@ import GHC.List ( zipWith, unzip, replicate )
 
 -- | @'guard' b@ is @'pure' ()@ if @b@ is 'True',
 -- and 'empty' if @b@ is 'False'.
-guard           :: (MonadPlus m) => Bool -> m ()
+guard           :: (Alternative f) => Bool -> f ()
 guard True      =  pure ()
 guard False     =  empty