Add Applicative instances for ST monads (proposal #4455)

patch from Bas van Dijk

1 files changed, 10 insertions, 0 deletions

diff --git a/libraries/base/Control/Applicative.hs b/libraries/base/Control/Applicative.hs
index 154b591288..ab6b365cce 100644
--- a/libraries/base/Control/Applicative.hs
+++ b/libraries/base/Control/Applicative.hs
@@ -42,6 +42,8 @@ import Control.Arrow
         (Arrow(arr, (&&&)), ArrowZero(zeroArrow), ArrowPlus((<+>)))
 import Control.Monad (liftM, ap, MonadPlus(..))
 import Control.Monad.Instances ()
+import Control.Monad.ST (ST)
+import qualified Control.Monad.ST.Lazy as Lazy (ST)
 import Data.Functor ((<$>), (<$))
 import Data.Monoid (Monoid(..))
 
@@ -149,6 +151,14 @@ instance Applicative IO where
         pure = return
         (<*>) = ap
 
+instance Applicative (ST s) where
+        pure = return
+        (<*>) = ap
+
+instance Applicative (Lazy.ST s) where
+        pure = return
+        (<*>) = ap
+
 #ifdef __GLASGOW_HASKELL__
 instance Applicative STM where
     pure = return