X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=GHC%2FSTRef.lhs;h=9824b15f932ca851f08988c6ddf20cc20bc80d74;hb=70d7c4b1cdc78fe03f63180c318d2ca15f4f6a26;hp=cf9cea5efe45277475a50fe74ef40fb320f21640;hpb=7f1f4e7a695c402ddd3a1dc2cc7114e649a78ebc;p=ghc-base.git

diff --git a/GHC/STRef.lhs b/GHC/STRef.lhs
index cf9cea5..9824b15 100644
--- a/GHC/STRef.lhs
+++ b/GHC/STRef.lhs
@@ -1,29 +1,44 @@
 \begin{code}
-{-# OPTIONS -fno-implicit-prelude #-}
+{-# OPTIONS_GHC -fno-implicit-prelude #-}
+-----------------------------------------------------------------------------
+-- |
+-- Module      :  GHC.STRef
+-- Copyright   :  (c) The University of Glasgow, 1994-2002
+-- License     :  see libraries/base/LICENSE
+-- 
+-- Maintainer  :  cvs-ghc@haskell.org
+-- Stability   :  internal
+-- Portability :  non-portable (GHC Extensions)
+--
+-- References in the 'ST' monad.
+--
+-----------------------------------------------------------------------------
+
 module GHC.STRef where
 
 import GHC.ST
-import GHC.Prim
 import GHC.Base
 
 data STRef s a = STRef (MutVar# s a)
+-- ^ a value of type @STRef s a@ is a mutable variable in state thread @s@,
+-- containing a value of type @a@
 
+-- |Build a new 'STRef' in the current state thread
 newSTRef :: a -> ST s (STRef s a)
 newSTRef init = ST $ \s1# ->
     case newMutVar# init s1#            of { (# s2#, var# #) ->
     (# s2#, STRef var# #) }
 
+-- |Read the value of an 'STRef'
 readSTRef :: STRef s a -> ST s a
 readSTRef (STRef var#) = ST $ \s1# -> readMutVar# var# s1#
 
+-- |Write a new value into an 'STRef'
 writeSTRef :: STRef s a -> a -> ST s ()
 writeSTRef (STRef var#) val = ST $ \s1# ->
     case writeMutVar# var# val s1#      of { s2# ->
     (# s2#, () #) }
 
-modifySTRef :: STRef s a -> (a -> a) -> ST s ()
-modifySTRef ref f = readSTRef ref >>= writeSTRef ref . f
-
 -- Just pointer equality on mutable references:
 instance Eq (STRef s a) where
     STRef v1# == STRef v2# = sameMutVar# v1# v2#