{-# LANGUAGE Trustworthy #-}------------------------------------------------------------------------------- |-- 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 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).-----------------------------------------------------------------------------moduleControl.Monad.ST(-- * The 'ST' MonadST ,-- abstract, instance of Functor, Monad, Typeable.runST ,fixST ,-- * Converting 'ST' to 'IO'RealWorld ,-- abstractstToIO ,)whereimportControl.Monad.ST.Imp