fixed-vector-0.1.2: Generic vectors with fixed length
Data.Vector.Fixed.Boxed
Contents
Description
Boxed vector.
Synopsis
data Vec n a Source
Unboxed vector with fixed length
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