fixed-vector-0.1.2.1: Generic vectors with fixed length
data Vec n a Source
Vector with fixed length which can hold any value.
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
Produced by Haddock version 2.13.2