Data.Vector.Generic.New

Purely functional interface to initialisation of mutable vectors

Array recycling primitives

data New v a

This data type is a wrapper around a monadic action which produces a mutable vector. It's used by a number of rewrite rules in order to facilitate the reuse of buffers allocated for vectors. See "Recycle your arrays!" for a detailed explanation.

Note that this data type must be declared as data and not newtype since it's used for rewrite rules and rules won't fire with newtype.

Constructors

New (forall s. ST s (Mutable v s a))

create :: (forall s. ST s (Mutable v s a)) -> New v a

run :: New v a -> ST s (Mutable v s a)

runPrim :: PrimMonad m => New v a -> m (Mutable v (PrimState m) a)

apply :: (forall s. Mutable v s a -> Mutable v s a) -> New v a -> New v a

modify :: (forall s. Mutable v s a -> ST s ()) -> New v a -> New v a

modifyWithBundle :: (forall s. Mutable v s a -> Bundle u b -> ST s ()) -> New v a -> Bundle u b -> New v a

unstream :: Vector v a => Bundle v a -> New v a

transform :: Vector v a => (forall m. Monad m => Stream m a -> Stream m a) -> (Size -> Size) -> New v a -> New v a

unstreamR :: Vector v a => Bundle v a -> New v a

transformR :: Vector v a => (forall m. Monad m => Stream m a -> Stream m a) -> (Size -> Size) -> New v a -> New v a

slice :: Vector v a => Int -> Int -> New v a -> New v a

init :: Vector v a => New v a -> New v a

tail :: Vector v a => New v a -> New v a

take :: Vector v a => Int -> New v a -> New v a

drop :: Vector v a => Int -> New v a -> New v a

unsafeSlice :: Vector v a => Int -> Int -> New v a -> New v a

unsafeInit :: Vector v a => New v a -> New v a

unsafeTail :: Vector v a => New v a -> New v a

References

• Leshchinskiy, Roman. "Recycle your arrays!". Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings 11. Springer Berlin Heidelberg, 2009.