add GHC.HetMet.{hetmet_kappa,hetmet_kappa_app}

[ghc-base.git] / Data / STRef.hs

diff --git a/Data/STRef.hs b/Data/STRef.hs
index e25e8b5..5002ee7 100644 (file)
--- 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