Data.RRBVector.Internal.Array

This is an internal module.

It provides a thin wrapper over Data.Primitive.SmallArray with \(O(1)\) slicing.

Warning: No bound checks are performed!

Documentation

data Array a

Instances

Foldable Array

Defined in Data.RRBVector.Internal.Array

Methods

fold :: Monoid m => Array m -> m

foldMap :: Monoid m => (a -> m) -> Array a -> m

foldMap' :: Monoid m => (a -> m) -> Array a -> m

foldr :: (a -> b -> b) -> b -> Array a -> b

foldr' :: (a -> b -> b) -> b -> Array a -> b

foldl :: (b -> a -> b) -> b -> Array a -> b

foldl' :: (b -> a -> b) -> b -> Array a -> b

foldr1 :: (a -> a -> a) -> Array a -> a

foldl1 :: (a -> a -> a) -> Array a -> a

toList :: Array a -> [a]

null :: Array a -> Bool

length :: Array a -> Int

elem :: Eq a => a -> Array a -> Bool

maximum :: Ord a => Array a -> a

minimum :: Ord a => Array a -> a

sum :: Num a => Array a -> a

product :: Num a => Array a -> a

NFData a => NFData (Array a)

Defined in Data.RRBVector.Internal.Array

Methods

rnf :: Array a -> ()

data MutableArray s a

ifoldrStep :: Int -> (a -> Int) -> (Int -> a -> b -> b) -> b -> Array a -> b

ifoldlStep :: Int -> (a -> Int) -> (Int -> b -> a -> b) -> b -> Array a -> b

ifoldrStep' :: Int -> (a -> Int) -> (Int -> a -> b -> b) -> b -> Array a -> b

ifoldlStep' :: Int -> (a -> Int) -> (Int -> b -> a -> b) -> b -> Array a -> b

empty :: Array a

singleton :: a -> Array a

from2 :: a -> a -> Array a

wrap :: SmallArray a -> Array a

replicate :: Int -> a -> Array a

replicateSnoc :: Int -> a -> a -> Array a

index :: Array a -> Int -> a

head :: Array a -> a

last :: Array a -> a

update :: Array a -> Int -> a -> Array a

adjust :: Array a -> Int -> (a -> a) -> Array a

adjust' :: Array a -> Int -> (a -> a) -> Array a

take :: Array a -> Int -> Array a

drop :: Array a -> Int -> Array a

splitAt :: Array a -> Int -> (Array a, Array a)

snoc :: Array a -> a -> Array a

cons :: Array a -> a -> Array a

(++) :: Array a -> Array a -> Array a

map :: (a -> b) -> Array a -> Array b

map' :: (a -> b) -> Array a -> Array b

imapStep :: Int -> (a -> Int) -> (Int -> a -> b) -> Array a -> Array b

imapStep' :: Int -> (a -> Int) -> (Int -> a -> b) -> Array a -> Array b

unzipWith :: (a -> (b, c)) -> Array a -> (Array b, Array c)

traverse :: Applicative f => (a -> f b) -> Array a -> f (Array b)

traverse' :: Applicative f => (a -> f b) -> Array a -> f (Array b)

itraverseStep :: Applicative f => Int -> (a -> Int) -> (Int -> a -> f b) -> Array a -> f (Array b)

itraverseStep' :: Applicative f => Int -> (a -> Int) -> (Int -> a -> f b) -> Array a -> f (Array b)

new :: Int -> ST s (MutableArray s a)

read :: MutableArray s a -> Int -> ST s a

write :: MutableArray s a -> Int -> a -> ST s ()

freeze :: MutableArray s a -> Int -> Int -> ST s (Array a)

thaw :: Array a -> Int -> Int -> ST s (MutableArray s a)