vector-static-0.1.0: Statically checked sizes on Data.Vector Source code Contents Index

Data.Vector.Generic.Mutable.Static

Documentation

newtype MVec n v s a Source

Constructors MVec unVec :: v s a Instances Eq (v s a) => Eq (MVec n v s a) Show (v s a) => Show (MVec n v s a)

overlaps :: MVector v a => MVec n v s a -> MVec n v s a -> Bool Source

new :: forall m v a n. (PrimMonad m, MVector v a) => Nat n -> m (MVec n v (PrimState m) a) Source

newWith :: forall m v a n. (PrimMonad m, MVector v a) => Nat n -> a -> m (MVec n v (PrimState m) a) Source

read :: (PrimMonad m, MVector v a) => MVec n v (PrimState m) a -> Fin n -> m a Source

write :: (PrimMonad m, MVector v a) => MVec n v (PrimState m) a -> Fin n -> a -> m () Source

swap :: (PrimMonad m, MVector v a) => MVec n v (PrimState m) a -> Fin n -> Fin n -> m () Source

clear :: (PrimMonad m, MVector v a) => MVec n v (PrimState m) a -> m () Source

set :: (PrimMonad m, MVector v a) => MVec n v (PrimState m) a -> a -> m () Source

copy :: (PrimMonad m, MVector v a) => MVec n v (PrimState m) a -> MVec n v (PrimState m) a -> m () Source

grow :: forall m v a n k. (PrimMonad m, MVector v a) => MVec n v (PrimState m) a -> Nat k -> m (MVec (n :+: k) v (PrimState m) a) Source

slice :: MVector v a => Fin n -> Nat k -> MVec (n :+: k) v s a -> MVec k v s a Source

take :: MVector v a => Nat k -> MVec (n :+: k) v s a -> MVec k v s a Source

drop :: MVector v a => Nat k -> MVec (n :+: k) v s a -> MVec n v s a Source

init :: MVector v a => MVec (S n) v s a -> MVec n v s a Source

tail :: MVector v a => MVec (S n) v s a -> MVec n v s a Source

Produced by Haddock version 2.6.0