fixed-vector-0.4.4.0: 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
type Vec4 = Vec (S (S (S (S Z))))Source
type Vec5 = Vec (S (S (S (S (S Z)))))Source
data MVec n s a Source
Mutable unboxed vector with fixed length