Data.Vector.Fixed.Boxed

Vector which could hold any value.

Immutable

data Vec n a

Vector with fixed length which can hold any value.

Instances

Typeable2 Vec

Arity n => VectorN Vec n a

Arity n => Functor (Vec n)

Arity n => Applicative (Vec n)

Arity n => Foldable (Vec n)

Arity n => Traversable (Vec n)

Arity n => Vector (Vec n) a

Arity n => IVector (Vec n) a

(Arity n, Eq a) => Eq (Vec n a)

(Arity n, Ord a) => Ord (Vec n a)

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

type Vec2 = Vec (S (S Z))

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

type Vec4 = Vec (S (S (S (S Z))))

type Vec5 = Vec (S (S (S (S (S Z)))))

Mutable

data MVec n s a

Mutable unboxed vector with fixed length

Instances

Typeable3 MVec

Arity n => MVector (MVec n) a