Data.Array.Dynamic.U
Description
Arrays of unlifted elements.
empty :: Unlifted a => IO (Array a) Source #
newtype Array a Source #
Constructors
Defined in Data.Array.Dynamic.U
Associated Types
Methods
to# :: Array a -> Rep (Array a) #
from# :: Rep (Array a) -> Array a #
defaultElem :: Array a #
capacity :: Array a -> IO Int Source #
clear :: Unlifted a => Array a -> IO () Source #
push :: Unlifted a => Array a -> a -> IO () Source #
pop :: Unlifted a => Array a -> IO (Maybe a) Source #
read :: Unlifted a => Array a -> Int -> IO a Source #
show :: (Show a, Unlifted a) => Array a -> IO String Source #
size :: Array a -> IO Int Source #
unsafeRead :: Unlifted a => Array a -> Int -> IO a Source #
unsafeWrite :: Unlifted a => Array a -> Int -> a -> IO () Source #
write :: Unlifted a => Array a -> Int -> a -> IO () Source #
unsafeLast :: Unlifted a => Array a -> IO a Source #
last :: Unlifted a => Array a -> IO a Source #
isEmpty :: Array a -> IO Bool Source #
foldl' :: Unlifted a => (b -> a -> b) -> b -> Array a -> IO b Source #
foldlIx' :: Unlifted a => (Int -> b -> a -> b) -> b -> Array a -> IO b Source #
foldr' :: Unlifted a => (a -> b -> b) -> b -> Array a -> IO b Source #
foldrIx' :: Unlifted a => (Int -> a -> b -> b) -> b -> Array a -> IO b Source #
fromList :: Unlifted a => [a] -> IO (Array a) Source #
freeze :: Unlifted a => Array a -> IO (Array a) Source #
for :: Unlifted a => Array a -> (a -> IO b) -> IO () Source #
forIx :: Unlifted a => Array a -> (Int -> a -> IO b) -> IO () Source #