{-# LANGUAGE Safe #-}-- |---- Module : 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 module 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).moduleControl.Monad.ST (-- * The 'ST' MonadST ,runST ,fixST ,-- * Converting 'ST' to 'IO'RealWorld ,stToIO )whereimportGHC.Internal.Control.Monad.ST