Modulevector-0.13.2.0

Data.Vector.Generic.New

Synopsis

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

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

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

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

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

valuemodifyWithBundle

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

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

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

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

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

valuetransform

valuetransformR

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

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

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

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

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

datadata New (v :: Type -> Type) a