Data.Vector.Generic.New

Purely functional interface to initialisation of mutable vectors

Documentation

data New a

Constructors

New (forall mv s. MVector mv a => ST s (mv s a))

run :: MVector mv a => New a -> ST s (mv s a)

unstream :: Stream a -> New a

transform :: (forall m. Monad m => MStream m a -> MStream m a) -> New a -> New a

unstreamR :: Stream a -> New a

transformR :: (forall m. Monad m => MStream m a -> MStream m a) -> New a -> New a

accum :: (a -> b -> a) -> New a -> Stream (Int, b) -> New a

update :: New a -> Stream (Int, a) -> New a

reverse :: New a -> New a

slice :: Int -> Int -> New a -> New a

init :: New a -> New a

tail :: New a -> New a

take :: Int -> New a -> New a

drop :: Int -> New a -> New a

unsafeSlice :: Int -> Int -> New a -> New a

unsafeInit :: New a -> New a

unsafeTail :: New a -> New a

unsafeAccum :: (a -> b -> a) -> New a -> Stream (Int, b) -> New a

unsafeUpdate :: New a -> Stream (Int, a) -> New a