Data.Vector.Generic.Mutable.Sized.Internal · vector-sized-1.6.1

newtypenewtype MVector (v :: Type -> Type -> Type) (n :: Nat) s a

A wrapper to tag mutable vectors with a type level length.

Be careful when using the constructor here to not construct sized vectors which have a different length than that specified in the type parameter!

Instances3Data, Storable, NFData

(Typeable v, Typeable s, Typeable a, KnownNat n, Data (v s a)) => Data (MVector v n s a)Defined in vector-sized-1.6.1 · Data.Vector.Generic.Mutable.Sized.Internal
Storable (v s a) => Storable (MVector v n s a)Defined in vector-sized-1.6.1 · Data.Vector.Generic.Mutable.Sized.Internal
NFData (v s a) => NFData (MVector v n s a)Defined in vector-sized-1.6.1 · Data.Vector.Generic.Mutable.Sized.Internal