Data.Vector.Generic.New

Purely functional interface to initialisation of mutable vectors

Documentation

newtype New a

Constructors

New (forall m mv. MVector mv m a => m (mv a))

run :: MVector mv m a => New a -> m (mv a)

unstream :: Stream a -> New a

transform :: (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 :: New a -> Int -> Int -> New a

init :: New a -> New a

tail :: New a -> New a

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

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