PrimIO,
ST, RealWorld,
module Monad, -- ST is an instance
- fixPrimIO, unsafePerformPrimIO, unsafeInterleavePrimIO,
- returnPrimIO, thenPrimIO, seqPrimIO,
+
+ thenPrimIO, --
+ returnPrimIO,
+ seqPrimIO,
+ fixPrimIO,
+ unsafePerformPrimIO,
+ unsafeInterleavePrimIO,
- listPrimIO, mapPrimIO, mapAndUnzipPrimIO,
+ -- backwards compatibility
+ listPrimIO, -- :: [PrimIO a] -> PrimIO [a]
+ mapPrimIO, -- :: (a -> PrimIO b) -> [a] -> PrimIO [b]
+ mapAndUnzipPrimIO, -- :: (a -> PrimIO (b,c)) -> [a] -> PrimIO ([b],[c])
+
-- operations for interfacing IO and ST/PrimIO
--
- stToIO, --:: ST RealWorld a -> IO a
- primIOToIO, --:: PrimIO a -> IO a
- ioToST, --:: IO a -> ST RealWorld a
- ioToPrimIO, --:: IO a -> PrimIO a
+ stToIO, -- :: ST RealWorld a -> IO a
+ primIOToIO, -- :: PrimIO a -> IO a
+ ioToST, -- :: IO a -> ST RealWorld a
+ ioToPrimIO, -- :: IO a -> PrimIO a
thenIO_Prim, -- :: PrimIO a -> (a -> IO b) -> IO b
+ seqIO_Prim, -- :: PrimIO a -> IO b -> IO b
-- Everything from module ByteArray:
module ByteArray,
module MutableArray,
-- the representation of some basic types:
- Int(..),Addr(..),Word(..),Float(..),Double(..),Integer(..),
+ Int(..),Addr(..),Word(..),Float(..),Double(..),Integer(..),Char(..),
-- misc bits
trace,
import MutableArray
import Monad
import IOBase
+import Foreign
\end{code}