fixed-vector-0.4.2.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