content: {-# LANGUAGE Trustworthy #-}
  
  -----------------------------------------------------------------------------
  -- |
  -- Module      :  GHC.Internal.Control.Monad.ST
  -- Copyright   :  (c) The University of Glasgow 2001
  -- License     :  BSD-style (see the file libraries/base/LICENSE)
  --
  -- Maintainer  :  libraries@haskell.org
  -- Stability   :  stable
  -- Portability :  non-portable (requires universal quantification for runST)
  --
  -- This library provides support for /strict/ state threads, as
  -- described in the PLDI \'94 paper by John Launchbury and Simon Peyton
  -- Jones /Lazy Functional State Threads/.
  --
  -- References (variables) that can be used within the @ST@ monad are
  -- provided by "Data.STRef", and arrays are provided by
  -- [Data.Array.ST](https://hackage.haskell.org/package/array/docs/Data-Array-ST.html).
  
  -----------------------------------------------------------------------------
  
  module GHC.Internal.Control.Monad.ST (
          -- * The 'ST' Monad
          ST,             -- abstract, instance of Functor, Monad, Typeable.
          runST,
          fixST,
  
          -- * Converting 'ST' to 'IO'
          RealWorld,              -- abstract
          stToIO,
      ) where
  
  import GHC.Internal.Control.Monad.ST.Imp
  
  