Data.Vector.Fixed.Primitive

Unboxed vectors with fixed length. Vectors from Data.Vector.Fixed.Unboxed provide more flexibility at no performeance cost.

Immutable

data Vec n a

Unboxed vector with fixed length

Instances

(Arity n, Prim a) => VectorN Vec n a

(Arity n, Prim a) => Vector (Vec n) a

(Arity n, Prim a) => IVector (Vec n) a

(Arity n, Prim a, Show a) => Show (Vec n a)

type Vec2 = Vec (S (S Z))

type Vec3 = Vec (S (S (S Z)))

Mutable

data MVec n s a

Mutable unboxed vector with fixed length

Instances

(Arity n, Prim a) => MVector (MVec n) a