fixed-vector-0.3.0.1: Generic vectors with statically known size.
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