Control.Monad.ST.Run

run-st-0.1.3.3: runST without boxing penalty

Safe Haskell | None
Language | Haskell2010

Control.Monad.ST.Run

Contents

- Arrays
- Integral Types
- Char
- Floating Point Types
- Tuples
- Maybes

Synopsis

- 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
- 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
- runCharST :: (forall s. ST s Char) -> Char
- runFloatST :: (forall s. ST s Float) -> Float
- runDoubleST :: (forall s. ST s Double) -> Double
- 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)
- runMaybeByteArrayST :: (forall s. ST s (Maybe ByteArray)) -> Maybe ByteArray

# 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

runMaybeByteArrayST :: (forall s. ST s (Maybe ByteArray)) -> Maybe ByteArray #