Documentation

tail :: forall (v :: Type -> Type) a. Vector v a => New v a -> New v a #

init :: forall (v :: Type -> Type) a. Vector v a => New v a -> New v a #

take :: forall (v :: Type -> Type) a. Vector v a => Int -> New v a -> New v a #

drop :: forall (v :: Type -> Type) a. Vector v a => Int -> New v a -> New v a #

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

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

unsafeTail :: forall (v :: Type -> Type) a. Vector v a => New v a -> New v a #

unsafeInit :: forall (v :: Type -> Type) a. Vector v a => New v a -> New v a #

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

unstream :: forall (v :: Type -> Type) a. Vector v a => Bundle v a -> New v a #

run :: forall (v :: Type -> Type) a s. New v a -> ST s (Mutable v s a) #

slice :: forall (v :: Type -> Type) a. Vector v a => Int -> Int -> New v a -> New v a #

data New (v :: Type -> Type) a #

unsafeSlice :: forall (v :: Type -> Type) a. Vector v a => Int -> Int -> New v a -> New v a #

unstreamR :: forall (v :: Type -> Type) a. Vector v a => Bundle v a -> New v a #

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

runPrim :: forall m (v :: Type -> Type) a. PrimMonad m => New v a -> m (Mutable v (PrimState m) a) #

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

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