run-st-0.1.3.3: runST without boxing penalty
Safe HaskellNone
LanguageHaskell2010

Control.Monad.ST.Run

Synopsis

Arrays

runArrayST :: (forall s. ST s (Array a)) -> Array a #

runSmallArrayST :: (forall s. ST s (SmallArray a)) -> SmallArray a #

runByteArrayST :: (forall s. ST s ByteArray) -> ByteArray #

runPrimArrayST :: (forall s. ST s (PrimArray a)) -> PrimArray a #

runUnliftedArrayST :: forall (unlifted_a :: UnliftedType) a. (forall s. ST s (UnliftedArray_ unlifted_a a)) -> UnliftedArray_ unlifted_a a #

Integral Types

runIntST :: (forall s. ST s Int) -> Int #

runInt8ST :: (forall s. ST s Int8) -> Int8 #

runInt16ST :: (forall s. ST s Int16) -> Int16 #

runInt32ST :: (forall s. ST s Int32) -> Int32 #

runWordST :: (forall s. ST s Word) -> Word #

runWord8ST :: (forall s. ST s Word8) -> Word8 #

runWord16ST :: (forall s. ST s Word16) -> Word16 #

runWord32ST :: (forall s. ST s Word32) -> Word32 #

Char

runCharST :: (forall s. ST s Char) -> Char #

Floating Point Types

runFloatST :: (forall s. ST s Float) -> Float #

runDoubleST :: (forall s. ST s Double) -> Double #

Tuples

runIntArrayST :: (forall s. ST s (Int, Array a)) -> (Int, Array a) #

runIntByteArrayST :: (forall s. ST s (Int, ByteArray)) -> (Int, ByteArray) #

runIntLiftedTypeST :: (forall s. ST s (Int, a)) -> (Int, a) #

runIntIntByteArrayST :: (forall s. ST s (Int, Int, ByteArray)) -> (Int, Int, ByteArray) #

runWordArrayST :: (forall s. ST s (Word, Array a)) -> (Word, Array a) #

runWordByteArrayST :: (forall s. ST s (Word, ByteArray)) -> (Word, ByteArray) #

Maybes