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