The types of the mutable array operations are a little bit messy, e.g.
writeCharArray :: Ix ix => MutableByteArray s ix -> ix -> Char -> ST s ()
but
writeWord8Array :: MutableByteArray RealWorld Int -> Int -> Word8 -> IO ()
The type one expects for the last example would be something like
writeWord8Array :: Ix ix => MutableByteArray s ix -> ix -> Word8 -> ST s ()
The user guide states even more confusing types for the Word/Int ops.
It would be nice if all operations were in the same monad (I don't
really care which one, ST or IO) and were indexed in the same way.
Cheers,
Sven
--
Sven Panne Tel.: +49/89/2178-2235
LMU, Institut fuer Informatik FAX : +49/89/2178-2211
LFE Programmier- und Modellierungssprachen Oettingenstr. 67
mailto:[EMAIL PROTECTED] D-80538 Muenchen
http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne
