fixed-vector-0.1.2.1: Generic vectors with fixed length
Data.Vector.Fixed.Boxed
Contents
Description
Boxed vector.
Synopsis
data Vec n a Source
Vector with fixed length which can hold any value.
Instances
type Vec2 = Vec (S (S Z))Source
type Vec3 = Vec (S (S (S Z)))Source
data MVec n s a Source
Mutable unboxed vector with fixed length