X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Data%2FSTRef.hs;h=5002ee7fde742a459ae9ff28ca891e15572d46c7;hb=HEAD;hp=e25e8b5efcf11c897514836e17daf6dab3059ae0;hpb=9812e0a321ec0ed8f9e53eb2febfb14c79564200;p=ghc-base.git

diff --git a/Data/STRef.hs b/Data/STRef.hs
index e25e8b5..5002ee7 100644
--- a/Data/STRef.hs
+++ b/Data/STRef.hs
@@ -1,3 +1,5 @@
+{-# LANGUAGE CPP #-}
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Data.STRef
@@ -6,32 +8,36 @@
 -- 
 -- Maintainer  :  libraries@haskell.org
 -- Stability   :  experimental
--- Portability :  non-portable (requires non-portable module ST)
+-- Portability :  non-portable (uses Control.Monad.ST)
 --
 -- Mutable references in the (strict) ST monad.
 --
 -----------------------------------------------------------------------------
 
 module Data.STRef (
-	-- * STRefs
-	STRef,		-- abstract, instance Eq
-	newSTRef,	-- :: a -> ST s (STRef s a)
-	readSTRef,	-- :: STRef s a -> ST s a
-	writeSTRef,	-- :: STRef s a -> a -> ST s ()
-	modifySTRef	-- :: STRef s a -> (a -> a) -> ST s ()
+        -- * STRefs
+        STRef,          -- abstract, instance Eq
+        newSTRef,       -- :: a -> ST s (STRef s a)
+        readSTRef,      -- :: STRef s a -> ST s a
+        writeSTRef,     -- :: STRef s a -> a -> ST s ()
+        modifySTRef     -- :: STRef s a -> (a -> a) -> ST s ()
  ) where
 
 import Prelude
 
 #ifdef __GLASGOW_HASKELL__
+import GHC.ST
 import GHC.STRef
 #endif
 
 #ifdef __HUGS__
 import Hugs.ST
-#endif
-
-import Data.Dynamic
+import Data.Typeable
 
-#include "Dynamic.h"
+#include "Typeable.h"
 INSTANCE_TYPEABLE2(STRef,stRefTc,"STRef")
+#endif
+
+-- |Mutate the contents of an 'STRef'
+modifySTRef :: STRef s a -> (a -> a) -> ST s ()
+modifySTRef ref f = writeSTRef ref . f =<< readSTRef ref